muellerberndt / mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
☆53Updated 3 months ago
Alternatives and similar repositories for mythril:
Users that are interested in mythril are comparing it to the libraries listed below
- ☆195Updated 3 years ago
- the magic X-ray machine for solidity smart contracts☆174Updated 3 years ago
- Contains lists of things to know/remember in different topics☆184Updated 3 years ago
- A checklist detailing DevSecOps practices for EVM-based projects.☆149Updated 2 years ago
- Materials related to security: docs, checklists, processes, etc...☆201Updated last week
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆235Updated 3 years ago
- Audits performed by Solidified☆185Updated 10 months ago
- Security contacts and disclosure reports☆202Updated 5 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆207Updated last year
- A pocket knife for auditing smart contracts.☆258Updated 2 years ago
- Rapid Smart Contract Crawler☆199Updated 10 months ago
- A comprehensive list of security practices for DeFi protocols.☆88Updated 5 months ago
- ☆161Updated 2 years ago
- Ethernaut puzzles solved with foundry☆274Updated last year
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆118Updated last year
- A collection of common security issues and possible gas optimizations in solidity smart contracts☆160Updated 2 years ago
- A command line interface for the MythX smart contract security analysis API☆91Updated last year
- DEFI Focus Smart Contract Security Capture the Flag☆177Updated 2 years ago
- Exploiting a Uniswap exchange that uses an ERC777 token by leveraging the reentrant microtrading attack vector☆170Updated 2 years ago
- Audit assist tool: Given a contract, find all subcontracts defined on it, calculate their sha-256 hash and look for exact matches☆39Updated 2 years ago
- My solutions to https://ethernaut.openzeppelin.com/☆70Updated 4 years ago
- A curated list of resources and tools for the MythX smart contract security API☆252Updated 4 years ago
- List of CTF related to Ethereum world (solidity smart contracts)☆119Updated 3 years ago
- The Auditor Book☆233Updated last year
- 🥘 Hassle-free Hardhat plugin to compare gas cost among different Solidity code snippets.☆196Updated 2 years ago
- ☆115Updated 3 years ago
- Website for the Underhanded Solidity Contest☆171Updated 5 months ago
- Here we collect and discuss for Smart contract security & Blockchain researches and tools - contributions are welcome.☆91Updated 2 years ago
- ☆123Updated 3 years ago
- All things Uniswap☆183Updated last year