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 9 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
- Rapid Smart Contract Crawler☆195Updated 5 months 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
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆235Updated 2 years ago
- ☆114Updated 2 years ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆93Updated last year
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆206Updated 10 months ago
- A pocket knife for auditing smart contracts.☆255Updated last year
- Resources for best practicers☆25Updated 3 years ago
- This is to illustrate different ways to optimise gas - what to do and what not to do☆77Updated 2 years ago
- My solutions to https://ethernaut.openzeppelin.com/☆68Updated 3 years ago
- Sharpen your smart contract auditing skills with this Training Ground - a platform to practice identifying vulnerabilities discovered in …☆97Updated 9 months ago
- Classification of smart contract vulnerabilities☆82Updated 5 years ago
- Contains lists of things to know/remember in different topics☆183Updated 2 years ago
- A collection of common security issues and possible gas optimizations in solidity smart contracts☆163Updated 2 years ago
- Website for the Underhanded Solidity Contest☆167Updated last month
- CREATE3 (see EIP-3171) implemented in Solidity☆283Updated 2 years ago
- Practical tutorials of Certora Prover☆232Updated last year
- ☆159Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated last year
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆116Updated 8 months ago
- Security contacts and disclosure reports☆198Updated last week
- Sherlock audit and coverage reports☆118Updated this week
- A collection of smart contracts for implementing security controls and guardrails. Useful for OpSec and educational purposes.☆52Updated 2 years ago
- Powerful Ethereum Smart-Contract Toolkit☆85Updated last year
- A comprehensive list of security practices for DeFi protocols.☆89Updated 3 weeks ago
- The purpose of this repo is to list all the related Research Papers focused on Smart-contracts security topics. As well as listing all th…☆41Updated 3 years ago
- 🥘 Hassle-free Hardhat plugin to compare gas cost among different Solidity code snippets.☆196Updated last year