Trail of Bits

Pinned

1. manticore Public

   Symbolic execution tool

   Python 2.4k 363

2. deepstate Public

   A unit test-like interface for fuzzing and symbolic execution

   Python 655 65

3. algo Public

   Set up a personal VPN in the cloud

   Python 21.4k 1.9k

4. publications Public

   Publications from Trail of Bits

   Python 570 86

5. pe-parse Public

   Principled, lightweight C/C++ PE parser

   C++ 486 113

6. not-going-anywhere Public

   A set of vulnerable Golang programs

   Go 111 16