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

Security (2)

View options

Tag

["Smart contract security", "Fuzzing", "Property testing", "Open source"]["Smart contract security", "Static analysis", "Custom analyses", "Open source"]

Description

Open-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