Smart contract security

Foundry

Fast toolkit for Ethereum development and testing

Rust toolkit (forge, cast, anvil, chisel) to build, test, fuzz and deploy Solidity contracts, with fuzz and invariant testing built in.

Stars

11k

Forks

2.7k

Last commit

today

Slither

Static analyser for Solidity and Vyper

Trail of Bits' static analysis framework for Solidity and Vyper with dozens of vulnerability detectors, printers and an API for custom analyses.

Stars

6.4k

Forks

1.2k

Last commit

2 months ago

Mythril

Symbolic execution analyser for EVM bytecode

Security analysis tool from Consensys Diligence that uses symbolic execution and SMT solving to find vulnerabilities in EVM bytecode.

Stars

4.3k

Forks

821

Last commit

1 year ago

Echidna

Property-based fuzzer for Ethereum smart contracts

Trail of Bits' fuzzer that generates transaction sequences to break user-defined invariants and assertions in Solidity contracts.

Stars

3.2k

Forks

437

Last commit

5 days ago

Halmos

Symbolic testing for EVM smart contracts

a16z's symbolic testing tool that runs Foundry-style tests with symbolic inputs to prove properties or find counterexamples.

Stars

1k

Forks

113

Last commit

1 year ago

Aderyn

Rust-based Solidity static analyser

Cyfrin's static analyser for Solidity written in Rust, with detectors, Markdown audit-style reports and editor integration.

Stars

797

Forks

121

Last commit

5 months ago