From e9929d01a54b30b72ec9251d0afe69ea242bda4a Mon Sep 17 00:00:00 2001 From: Richard Horrocks Date: Sat, 27 Apr 2019 19:48:21 +0100 Subject: [PATCH] Addition of MythX, and renaming of Mythril OSS to Mythril Classic. --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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