Skip to content
@trailofbits

Trail of Bits

More code: binary lifters @lifting-bits, blockchain @crytic

Since 2012, Trail of Bits has helped secure some of the world's most targeted organizations and devices.

We combine high-end security research with a real-world attacker mentality to reduce risk and fortify code.

Some of our work:


Pinned

  1. manticore Public

    Symbolic execution tool

    Python 3.1k 442

  2. deepstate Public

    A unit test-like interface for fuzzing and symbolic execution

    Python 717 80

  3. algo Public

    Set up a personal VPN in the cloud

    Jinja 26.2k 2.2k

  4. Publications from Trail of Bits

    Python 985 135

  5. pe-parse Public

    Principled, lightweight C/C++ PE parser

    C++ 585 135

  6. A set of vulnerable Golang programs

    Go 142 20

Repositories