Trail of Bits

Security research and engineering firm developing open-source program-analysis tools and performing software, blockchain, cryptography, application-security, and AI/ML security assessments.

Dashboard

Services

SDKs (1)

View options

Tool Type

Library

Programming Language

TBD

Tag

["EVM assembler library", "EVM disassembler", "Assemble EVM instructions", "EVM bytecode generation"]

Security (3)

View options

Tag

["Smart contract security", "Fuzzing tool", "Property-based testing", "Ethereum developer tools", "Solidity testing"]["Smart contract security", "Fuzzing", "Property testing", "Open source"]["Smart contract security", "Static analysis", "Custom analyses", "Open source"]

Description

It is an open-source property-based fuzzer for Ethereum smart contracts, developed by the security firm Trail of BitsOpen-source go-ethereum-based coverage-guided smart contract fuzzer for property and invariant testing.Open-source static analysis framework for Solidity and Vyper with vulnerability detectors and APIs for custom analyses.

Plan Type

Free