Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-mythx-smart-contract-security-tools
A curated list of resources and tools for the MythX smart contract security API
https://github.com/muellerberndt/awesome-mythx-smart-contract-security-tools
- Remix IDE - Activate the "MythX Security Verification" module in plugin manager ([Howto](https://docs.mythx.io/en/latest/tools/remix/index.html))
- MythX Plugin for Truffle - Security verification plugin for the [Truffle Framework](https://truffleframework.com)
- MythX for VS Code - MythX Extension for Visual Studio Code
- Brownie - Python framework for Ethereum smart contract deployment ([native integration](https://eth-brownie.readthedocs.io/en/latest/tests-security-analysis.html))
- MythX Plugin for Embark - Security verification plugin for [Status Embark](https://embark.status.im) by [Flex Dapps](https://flexdapps.com)
- Truffle Sca2t - Smart contract audit assistant (generates Mocha test files for CI)
- MythX CLI - Official command-line tool maintained by the MythX team
- Sabre - Security analyzer for Solidity smart contracts written in JavaScript
- Setting up MythX in CircleCI
- Setting up MythX in Travis CI
- MythX in CI DIY Guide
- MythX CLI Docs
- MythX Developer and User Guide
- MythX Community Discord
- MythXJS - MythX JavaScript library
- PythX - A Python library for the MythX platform
- Using MythX in Smart Contract Development (January 2020)
- Validating Smart Contract Correctness (April 2020)
- Using the MythX Command Line Client in CI (May 2020)
- The Ether Wars (DEFCON 27)
- Smashing Smart Contracts (HITB GSEC 2018)
- Advances in Smart Contract Vulnerability Detection (EthBerlin 2019)
- Detecting DeFi Composability Bugs (EthCC 2020)
- Detecting DeFi Bugs and Arbitrage Opportunities Using Symbolic Execution (Parallele Polis 2020)
- Detecting Generic Smart Contract Vulnerabilities with MythX (Medium)
- Checking Custom Security Properties with the MythX Plugin for Remix (Medium)
- Catching Weird Security Bugs with Contract Invariants (Medium)
- Checking Custom Correctness Properties of Smart Contracts Using the AssertionFailed Event (Medium)
- The Tech Behind MythX (MythX blog)
- Intro to Symbolic Execution in Mythril (Medium)
- Smashing Smart Contracts (HITB GSEC 2018 / PDF)
- Advances in Smart Contract Vulnerability Detection (DEFCON 27 / PDF)
- Multi-contract bug detection with Mythril (Medium)
- Harvey Greybox Fuzzing Article Series (Medium)
- Fuzzing Smart Contracts Using Input Prediction (Medium)
- Fuzzing Smart Contracts Using Multiple Transactions (Medium)
- Detecting Reentrancy Issues in Smart Contracts Using Fuzzing (Medium)
- Targeted fuzzing using static lookahead analysis: how to guide fuzzers using online static analysis (MythX blog)
- Learning Inputs in Greybox Fuzzing (arXiv)
- Harvey: A Greybox Fuzzer for Smart Contracts (arXiv)
- Targeted Greybox Fuzzing with Static Lookahead Analysis (ICSE 2020)
- Practical Mutation Testing in Smart Contracts (Springer)