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
Last synced: 5 days ago
JSON representation
-
Continuous integration howtos
-
Articles, papers and videos
-
MythX bug detection and property checking
- The Tech Behind MythX (MythX blog)
- 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)
-
Symbolic execution / Mythril
-
Grey-box fuzzing / Harvey
- Targeted fuzzing using static lookahead analysis: how to guide fuzzers using online static analysis (MythX blog)
- 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)
- Learning Inputs in Greybox Fuzzing (arXiv)
- Harvey: A Greybox Fuzzer for Smart Contracts (arXiv)
-
Webinars
-
Presentation Videos
-
Other
-
-
IDEs with MythX support
- Remix IDE - Activate the "MythX Security Verification" module in plugin manager ([Howto](https://docs.mythx.io/en/latest/tools/remix/index.html))
- 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 Truffle - Security verification plugin for the [Truffle Framework](https://truffleframework.com)
- 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)
-
Support and documentation
-
Command-line tools
- Sabre - Security analyzer for Solidity smart contracts written in JavaScript
-
Language bindings
Programming Languages
Categories
Sub Categories