muellerberndt / mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
☆54Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for mythril
- ☆193Updated 3 years ago
- the magic X-ray machine for solidity smart contracts☆174Updated 2 years ago
- A checklist detailing DevSecOps practices for EVM-based projects.☆148Updated 2 years ago
- Materials related to security: docs, checklists, processes, etc...☆200Updated last month
- ☆114Updated 2 years ago
- Rapid Smart Contract Crawler☆194Updated 5 months ago
- A pocket knife for auditing smart contracts.☆255Updated last year
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆205Updated 10 months ago
- Security contacts and disclosure reports☆197Updated last month
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆235Updated 2 years ago
- ☆159Updated 2 years ago
- Website for the Underhanded Solidity Contest☆167Updated 3 weeks ago
- 🥘 Hassle-free Hardhat plugin to compare gas cost among different Solidity code snippets.☆196Updated last year
- This is to illustrate different ways to optimise gas - what to do and what not to do☆77Updated 2 years ago
- DEFI Focus Smart Contract Security Capture the Flag☆176Updated 2 years ago
- ☆34Updated last year
- Sherlock audit and coverage reports☆117Updated last week
- Sharpen your smart contract auditing skills with this Training Ground - a platform to practice identifying vulnerabilities discovered in …☆97Updated 9 months ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆93Updated last year
- My solutions to https://ethernaut.openzeppelin.com/☆68Updated 3 years ago
- A collection of common security issues and possible gas optimizations in solidity smart contracts☆163Updated 2 years ago
- A Foundry template to compile and test Vyper contracts.☆173Updated 3 months ago
- Audit assist tool: Given a contract, find all subcontracts defined on it, calculate their sha-256 hash and look for exact matches☆39Updated last year
- Powerful Ethereum Smart-Contract Toolkit☆85Updated last year
- Sorry, 0x who?☆38Updated 2 years ago
- A command line interface for the MythX smart contract security analysis API☆84Updated 7 months ago
- Proxy contract to compose Ethereum transactions☆273Updated 2 months ago
- Playpen is a set of modern, gas optimized staking pool contracts.☆273Updated last year
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆133Updated 10 months ago
- Exploiting a Uniswap exchange that uses an ERC777 token by leveraging the reentrant microtrading attack vector☆169Updated last year