mirror of
https://github.com/autistic-symposium/blockchains-security-toolkit.git
synced 2025-06-05 21:48:54 -04:00
| .. | ||
| README.md | ||
dynamic analysis tools
echidna
- fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing.
- tutorial to use echidna to automatically test smart contracts
- medusa, mutational solidity smart contract fuzzing, powered by go-ethereum, inspired by echidna
harvey
- automated fuzzing tool useful for detecting property violations in smart contract code.
manticore
- dynamic symbolic execution framework for analyzing EVM bytecode.