Trailofbits

Set up a personal VPN in the cloud

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

image scaling attacks for multi-modal prompt injection

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

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

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

A unit test-like interface for fuzzing and symbolic execution

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

A tool for running Rust lints from dynamic libraries

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

A static analyzer and interpreter for Python pickle data

A software dependency analyzer

A differential fuzzer for x86 decoders

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

A mutation-based tool for finding bugs in tests

osquery extensions by Trail of Bits

Peter's Amazing Syntax Tree Analyzer

Find the ideal fuzz targets in a Rust codebase

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

To make fuzzing Rust easy

Build and query a graph database representation of source code

A cross-platform library for verifying Authenticode signatures

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