Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Klee | 2,399 | 4 months ago | 88 | other | C++ | |||||
KLEE Symbolic Execution Engine | ||||||||||
Cgpwn | 357 | 5 years ago | 1 | Shell | ||||||
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks | ||||||||||
Warbirdvm | 120 | 6 years ago | gpl-2.0 | Ruby | ||||||
An analysis of the Warbird virtual-machine protection for the CI!g_pStore | ||||||||||
Smoosh | 98 | a year ago | 22 | mit | OCaml | |||||
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard. | ||||||||||
Tracerx | 24 | 5 months ago | 16 | other | C | |||||
TracerX Symbolic Virtual Machine |