Git-Mirrors/blockchains-security-toolkit
1
0
Fork 0
mirror of https://github.com/autistic-symposium/blockchains-security-toolkit.git synced 2025-06-24 06:34:22 -04:00
Code Issues Projects Releases Packages Wiki Activity
blockchains-security-toolkit/hacking_tools/dynamic_analysis/README.md
autistic-symposium-helper d230a58db0
tutorial to use echidna to automatically test smart contracts
2024-11-07 14:03:33 +07:00

745 B
Raw Blame History

dynamic analysis tools


echidna



harvey


  • automated fuzzing tool useful for detecting property violations in smart contract code.

manticore


  • dynamic symbolic execution framework for analyzing EVM bytecode.

cool references