PinnedLoading

1. dawtooldawtoolPublic

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

   Python 169 10

2. trailofbits/manticoretrailofbits/manticorePublic

   Symbolic execution tool

   Python 3.7k 478

3. suicidesuicidePublic

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

   C++ 33 5

4. binfmt_myscbinfmt_myscPublic

   Direct execution of interpreted binaries on Linux

   C 8 3

5. poetpoetPublic

   [unmaintained] Post-exploitation tool

   Python 185 50

6. schedulerschedulerPublic

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

   Python 5 2