mirror of
https://github.com/autistic-symposium/blockchains-security-toolkit.git
synced 2025-04-27 11:19:17 -04:00
40 lines
609 B
Markdown
40 lines
609 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>
|
|
|
|
---
|
|
|
|
### cool references
|
|
|
|
<br>
|
|
|
|
* **[fuzzi defi](https://github.com/0xNazgul/fuzzydefi/tree/main)**
|