diff --git a/README.md b/README.md index e4dffa7..b0811cb 100644 --- a/README.md +++ b/README.md @@ -294,6 +294,7 @@ #### Audit - [a16z/metamorphic-contract-detector](https://github.com/a16z/metamorphic-contract-detector) - Check whether a given contract exhibits red flags that could indicate the potential for metamorphism instead of immutability. +- [Aderyn](https://github.com/Cyfrin/aderyn) - It is a Rust-based open-source solidity smart contract static analyzer designed to help protocol engineers and security researchers find vulnerabilities in Solidity code bases. - [Echidna](https://github.com/crytic/echidna) - Define properties for your smart contract then use fuzzing to catch security bugs. - [Manticore](https://github.com/trailofbits/manticore) - Detects many common bug types, and can prove correctness properties with symbolic execution. - [Mythril](https://github.com/ConsenSys/mythril) - Security analysis tool for smart contracts.