Trail of Bits

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

Ethereum fuzz testing framework

An LLVM-based instrumentation tool for universal taint analysis.

Manticore is a symbolic execution tool for analysis of smart contracts and binaries.

A tiny web auditor with strong opinions.

A tool that simplifies Ethereum security analysis and testing

Set up a personal IPSEC VPN in the cloud

A fork of LLVM that supports the PolyTracker universal taint analysis instrumentation framework

Common dependency management for various Trail of Bits C++ codebases

Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode

Rellic produces goto-free C output from LLVM bitcode

Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

ANVILL forges beautiful LLVM bitcode out of raw machine code

Utility for running any specific version of the Solidity compiler by setting an environment variable

A minimal Alpine-based container with specific versions of LLVM and Clang

Static Analyzer for Solidity