Tools
mythril
ConsenSysDiligence/mythril
A symbolic-execution security analyzer for EVM bytecode that finds vulnerabilities in Ethereum and EVM-compatible smart contracts, reporting each issue with an exploit transaction sequence.
Topics
Related projects
echidna3.2kA fast property-based fuzzer for Ethereum smart contracts that generates ABI-aware call sequences to falsify invariants, with multiple test modes, coverage collection and CI integration.
openzeppelin-contracts27.4kA community-vetted Solidity library of secure, reusable smart contract components such as ERC token standards, access control, and utility contracts.
smart-contract-vulnerabilities2.5kA curated knowledge base of smart contract vulnerabilities, each with a description and prevention guidance, used as a reference by auditors and developers.
reentrancy-attacks1.6kA chronological, curated list of Ethereum reentrancy attacks with links to victim contracts, exploit contracts and transactions, serving as a reference for smart-contract security research.
solhint1.1kAn open-source Solidity linter providing security and style checks, auto-fix, shareable configs and IDE integrations.
security-and-auditing-full-course-s232kA full written course on smart contract auditing, assembly, security and DeFi, organized into guided sections, exercises and a final audit project for aspiring Web3 security researchers.