Pinned

1. dawtool dawtool Public

   Reverse-engineered parsers for Ableton Live & FL Studio project files.

   Python 139 6

2. trailofbits/manticore trailofbits/manticore Public

   Symbolic execution tool

   Python 3.6k 466

3. suicide suicide Public

   LLVM pass that detects one undefined behavior, and emits code to delete your hard drive

   C++ 33 5

4. binfmt_mysc binfmt_mysc Public

   Direct execution of interpreted binaries on Linux

   C 8 3

5. poet poet Public

   [unmaintained] Post-exploitation tool

   Python 184 55

6. scheduler scheduler Public

   Uses constraint solving to automatically generate a schedule assigning hosts for a repeating sequence of events

   Python 6 2