Skip to main content
Avatar for Trail of Bits from gravatar.com

Trail of Bits

Username    trailofbits
Date joined   Joined

18 projects

manticore

Last released

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

abi3audit

Last released

Scans Python wheels for abi3 violations and inconsistencies

polyfile

Last released

A utility to recursively map the structure of a file.

pepy

Last released

Python bindings for pe-parse

slither-analyzer

Last released

Slither is a Solidity static analysis framework written in Python 3.

etheno

Last released

Etheno is a JSON RPC multiplexer, differential fuzzer, and test framework integration tool.

amarna

Last released

Amarna is a static-analyzer for the Cairo programming language.

crytic-compile

Last released

Util to facilitate smart contracts compilation.

pymaat

Last released

Maat - Symbolic execution framework

polytracker

Last released

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

optik-tools

Last released

Symbolic execution toolkit for Ethereum smart-contracts

microx

Last released

x86 and x86_64 micro-executor.

graphtage

Last released

A utility to diff tree-like files such as JSON and XML.

blight

Last released

A catch-all compile-tool wrapper

tourniquet

Last released

Syntax Guided Repair/Transformation Package

evm-cfg-builder

Last released

EVM cfg builder written in Python 3.

canker

Last released

A catch-all compile-tool wrapper

pyevmasm

Last released

Ethereum Virtual Machine (EVM) assembler and disassembler

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Huawei Huawei PSF Sponsor Microsoft Microsoft PSF Sponsor NVIDIA NVIDIA PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page