We've verified that the organization trailofbits controls the domains:
Symbolic execution tool
Python 2.5k 365
A unit test-like interface for fuzzing and symbolic execution
Python 662 67
Set up a personal VPN in the cloud
Python 22.6k 1.9k
Publications from Trail of Bits
Python 586 87
Principled, lightweight C/C++ PE parser
C++ 492 113
A set of vulnerable Golang programs
Go 112 16
A tool for running Rust lints from dynamic libraries
Audits Python environments and dependency trees for known vulnerabilities
A framework for instrumenting build tools
A differential fuzzer for x86 decoders
A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.
To make fuzzing Rust easy
Empire Hacking NYC Meetup
SQL powered operating system instrumentation, monitoring, and analytics.
