Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Symbolic execution tool
LLVM pass that detects one undefined behavior, and emits code to delete your hard drive
Direct execution of interpreted binaries on Linux
Repository for @mossberg's Binary Exploits tech talk.
Automatically generate a schedule assigning hosts for a repeating sequence of events
462 contributions in the last year
Hi! This is a PR to update the Manticore project description. Thanks!
I don't think
.semantics is exactly the optimal name for this member of the Instruction class, i think a better name might be
in private repositories
Sep 18 – Sep 21
Press h to open a hovercard with more details.