We've verified that the organization trailofbits controls the domains:
Symbolic execution tool
Python 2.5k 369
A unit test-like interface for fuzzing and symbolic execution
Python 664 67
Set up a personal VPN in the cloud
Python 23.7k 1.9k
Publications from Trail of Bits
Python 591 87
Principled, lightweight C/C++ PE parser
C++ 493 114
A set of vulnerable Golang programs
Go 112 16
"Blank slate" Dylint library
A tool for running Rust lints from dynamic libraries
To make fuzzing Rust easy
SQL powered operating system instrumentation, monitoring, and analytics.
A differential fuzzer for x86 decoders
Find the ideal fuzz targets in a Rust codebase
Audits Python environments and dependency trees for known vulnerabilities
A framework for instrumenting build tools
Semgrep queries developed by Trail of Bits.
Loading…
