Trailofbits

A differential fuzzer for x86 decoders

Set up a personal VPN in the cloud

Checksec, but for Windows: static detection of security mitigations in executables

Algo VPN is a virtual private network solution designed for secure internet browsing.

A unit test-like interface for fuzzing and symbolic execution

Peter's Amazing Syntax Tree Analyzer

A tool for running Rust lints from dynamic libraries

A static analyzer and linter for the Circom zero-knowledge DSL

A software dependency analyzer

Deptective automatically determines the native dependencies required to run any arbitrary program or command.

Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation

Build and query a graph database representation of source code

To make fuzzing Rust easy

Find the ideal fuzz targets in a Rust codebase

Memory forensics and analysis tool for querying Linux kernel memory dumps using SQL

A cross-platform library for verifying Authenticode signatures

Sandboxed devcontainer for running Claude Code in bypass mode safely. Built for security audits and untrusted code review.

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

osquery extensions by Trail of Bits

A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.

A mutation-based tool for finding bugs in tests

image scaling attacks for multi-modal prompt injection

A static analyzer and interpreter for Python pickle data