mirror of
https://github.com/autistic-symposium/blockchains-security-toolkit.git
synced 2025-05-16 13:42:18 -04:00
28 lines
502 B
Markdown
28 lines
502 B
Markdown
## dynamic analysis tools
|
|
|
|
<br>
|
|
|
|
#### [echidna](https://github.com/crytic/echidna/)
|
|
|
|
<br>
|
|
|
|
* Fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing.
|
|
|
|
<br>
|
|
|
|
#### [harvey](https://consensys.net/diligence/fuzzing/)
|
|
|
|
<br>
|
|
|
|
* Automated fuzzing tool useful for detecting property violations in smart contract code.
|
|
|
|
<br>
|
|
|
|
|
|
#### [manticore](https://github.com/trailofbits/manticore)
|
|
|
|
<br>
|
|
|
|
* Dynamic symbolic execution framework for analyzing EVM bytecode.
|
|
|
|
<br>
|