diff --git a/README.md b/README.md index 008b138..2d18bbf 100644 --- a/README.md +++ b/README.md @@ -132,7 +132,8 @@ A curated list of awesome Ethereum security references, guidance, tools, and mor * [Echidna](https://github.com/trailofbits/echidna) - Fuzzer for Ethereum smart contracts. Uses property testing to generate malicious inputs that break smart contracts. * [Manticore](https://github.com/trailofbits/manticore) - Symbolic execution tool for Ethereum smart contracts that includes detectors for common security flaws -* [Mythril OSS](https://github.com/ConsenSys/mythril/) - Open-source security analysis tool for Ethereum smart contracts built around detector modules +* [Mythril Classic](https://github.com/ConsenSys/mythril-classic) - Open-source security analysis tool for Ethereum smart contracts built around detector modules +* [MythX](https://docs.mythx.io/en/latest/index.html#) - Security analysis API that allows anyone to create purpose-built smart contract security tools * [Securify](https://github.com/eth-sri/securify) - Static analysis tool from ChainSecurity * [Slither](https://github.com/trailofbits/slither) - Static analysis framework, written in Python, with detectors for many common Solidity issues