Pinned Loading

1. trailofbits/manticore trailofbits/manticore Public archive

   Symbolic execution tool

   Python 3.9k 500

2. lifting-bits/remill lifting-bits/remill Public

   Library for lifting machine code to LLVM bitcode

   C++ 1.7k 182

3. trailofbits/protofuzz trailofbits/protofuzz Public

   Google Protocol Buffers message generator

   Python 286 36