muellerberndt / mythrilLinks
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
☆53Updated 5 months ago
Alternatives and similar repositories for mythril
Users that are interested in mythril are comparing it to the libraries listed below
Sorting:
- ☆195Updated 3 years ago
- Materials related to security: docs, checklists, processes, etc...☆202Updated last month
- the magic X-ray machine for solidity smart contracts☆174Updated 3 years ago
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆235Updated 3 years ago
- A checklist detailing DevSecOps practices for EVM-based projects.☆148Updated 3 years ago
- A pocket knife for auditing smart contracts.☆258Updated 2 years ago
- Security contacts and disclosure reports☆201Updated 6 months ago
- ☆162Updated 2 years ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆208Updated last year
- ☆115Updated 3 years ago
- My solutions to https://ethernaut.openzeppelin.com/☆69Updated 4 years ago
- Solidity – Compilable Cheatsheet☆223Updated 8 months ago
- Website for the Underhanded Solidity Contest☆170Updated 6 months ago
- Download sources of deployed contracts from etherscan☆84Updated 2 weeks ago
- A collection of common security issues and possible gas optimizations in solidity smart contracts☆159Updated 2 years ago
- Resources for best practicers☆24Updated 3 years ago
- Rapid Smart Contract Crawler☆201Updated last year
- Contains lists of things to know/remember in different topics☆185Updated 3 years ago
- Mutation Testing for Ethereum Smart Contracts☆207Updated last year
- Sharpen your smart contract auditing skills with this Training Ground - a platform to practice identifying vulnerabilities discovered in …☆96Updated last year
- A curated list of resources and tools for the MythX smart contract security API☆251Updated 4 years ago
- A Foundry template to compile and test Vyper contracts.☆175Updated 10 months ago
- ☆112Updated 2 years ago
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- excessively safe solidity calls☆232Updated last year
- DEFI Focus Smart Contract Security Capture the Flag☆177Updated 2 years ago
- A comprehensive list of security practices for DeFi protocols.☆87Updated 7 months ago
- Practical tutorials of Certora Prover☆236Updated last year
- List of CTF related to Ethereum world (solidity smart contracts)☆120Updated 3 years ago
- A collection of smart contracts for implementing security controls and guardrails. Useful for OpSec and educational purposes.☆52Updated 3 years ago