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 2 months ago
Alternatives and similar repositories for mythril:
Users that are interested in mythril are comparing it to the libraries listed below
- ☆194Updated 3 years ago
- Materials related to security: docs, checklists, processes, etc...☆202Updated last week
- the magic X-ray machine for solidity smart contracts☆175Updated 3 years ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆206Updated last year
- ☆114Updated 3 years ago
- Security contacts and disclosure reports☆198Updated 4 months ago
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆237Updated 3 years ago
- Simplify Ethereum security analysis and testing☆340Updated last month
- A checklist detailing DevSecOps practices for EVM-based projects.☆149Updated 2 years ago
- List of CTF related to Ethereum world (solidity smart contracts)☆118Updated 2 years ago
- Classification of smart contract vulnerabilities☆83Updated 6 years ago
- ☆161Updated 2 years ago
- My solutions to https://ethernaut.openzeppelin.com/☆70Updated 4 years ago
- Rapid Smart Contract Crawler☆198Updated 9 months ago
- ☆53Updated 3 years ago
- 🧠 A scriptable semantic grep utility for solidity☆143Updated 7 months ago
- Sharpen your smart contract auditing skills with this Training Ground - a platform to practice identifying vulnerabilities discovered in …☆96Updated last year
- Contains lists of things to know/remember in different topics☆184Updated 3 years ago
- ☆123Updated 3 years ago
- A pocket knife for auditing smart contracts.☆258Updated 2 years ago
- A collection of common security issues and possible gas optimizations in solidity smart contracts☆161Updated 2 years ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆104Updated last year
- ☆231Updated 2 years ago
- Here we collect and discuss for Smart contract security & Blockchain researches and tools - contributions are welcome.☆90Updated 2 years ago
- Sherlock audit and coverage reports☆124Updated 3 weeks ago
- Download sources of deployed contracts from etherscan☆82Updated 7 months ago
- In this repository, I try to perform a mainnet fork and then simulate popular smart contract exploits on various DEFI Protocols using Har…☆34Updated 2 years ago
- Solidity – Compilable Cheatsheet☆218Updated 6 months ago
- Collection of public security reviews☆175Updated last week
- Mutation Testing for Ethereum Smart Contracts☆206Updated last year