mirror of
https://github.com/autistic-symposium/blockchains-security-toolkit.git
synced 2025-04-27 03:09:11 -04:00
dynamic analysis tools
echidna
- Fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing.
harvey
- Automated fuzzing tool useful for detecting property violations in smart contract code.
manticore
- Dynamic symbolic execution framework for analyzing EVM bytecode.