Alternatives and similar repositories for mythril:

Users that are interested in mythril are comparing it to the libraries listed below

• MrToph / replaying-ethereum-hacks
  ☆194Updated 3 years ago
• OriginProtocol / security
  Materials related to security: docs, checklists, processes, etc...
  ☆202Updated last week
• tintinweb / smart-contract-inspector
  the magic X-ray machine for solidity smart contracts
  ☆175Updated 3 years ago
• patrickd- / solidity-fuzzing-boilerplate
  Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
  ☆206Updated last year
• sherlock-protocol / sherlock-ctf-0x0
  ☆114Updated 3 years ago
• yearn / yearn-security
  Security contacts and disclosure reports
  ☆198Updated 4 months ago
• byterocket / c4udit
  Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests
  ☆237Updated 3 years ago
• crytic / etheno
  Simplify Ethereum security analysis and testing
  ☆340Updated last month
• 0xsomnus / Solidity-DevSecOps-Standard
  A checklist detailing DevSecOps practices for EVM-based projects.
  ☆149Updated 2 years ago
• PumpkingWok / CTFGym
  List of CTF related to Ethereum world (solidity smart contracts)
  ☆118Updated 2 years ago
• smartdec / classification
  Classification of smart contract vulnerabilities
  ☆83Updated 6 years ago
• a16z / metamorphic-contract-detector
  ☆161Updated 2 years ago
• MrToph / ethernaut
  My solutions to https://ethernaut.openzeppelin.com/
  ☆70Updated 4 years ago
• 0xsha / ChainWalker
  Rapid Smart Contract Crawler
  ☆198Updated 9 months ago
• TheSquanch-147 / Rugpulls-Hacks-Exploits-List
  ☆53Updated 3 years ago
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆143Updated 7 months ago
• 0xLanterns / OA
  Sharpen your smart contract auditing skills with this Training Ground - a platform to practice identifying vulnerabilities discovered in …
  ☆96Updated last year
• guylando / KnowledgeLists
  Contains lists of things to know/remember in different topics
  ☆184Updated 3 years ago
• Crypto-Virus / cream-finance-exploit-example
  ☆123Updated 3 years ago
• eternauta1337 / pocketh
  A pocket knife for auditing smart contracts.
  ☆258Updated 2 years ago
• byterocket / c4-common-issues
  A collection of common security issues and possible gas optimizations in solidity smart contracts
  ☆161Updated 2 years ago
• 0xToshii / mr-steal-yo-crypto-ctf
  Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
  ☆104Updated last year
• FrankieIsLost / forge-template
  ☆231Updated 2 years ago
• tamjid0x01 / awesome-smartcontract-hacking
  Here we collect and discuss for Smart contract security & Blockchain researches and tools - contributions are welcome.
  ☆90Updated 2 years ago
• sherlock-protocol / sherlock-reports
  Sherlock audit and coverage reports
  ☆124Updated 3 weeks ago
• SergeKireev / ethereum-sources-downloader
  Download sources of deployed contracts from etherscan
  ☆82Updated 7 months ago
• zzzuhaibmohd / defiHacks_via_Hardhat
  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
• patrickd- / cheatsheet.sol
  Solidity – Compilable Cheatsheet
  ☆218Updated 6 months ago
• sigp / public-audits
  Collection of public security reviews
  ☆175Updated last week
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆206Updated last year