Tools
solhint
protofire/solhint
An open-source Solidity linter providing security and style checks, auto-fix, shareable configs and IDE integrations.
Topics
Related projects
mythril4.3kA 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.
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.
aislop739A deterministic CLI linter that catches dead code, unsafe casts and AI-generated cruft with fast local scans and CI gates.
tenderly-cli591A developer CLI for debugging, verifying, pushing and monitoring Ethereum smart contracts via Tenderly.
openzeppelin-contracts27.4kA community-vetted Solidity library of secure, reusable smart contract components such as ERC token standards, access control, and utility contracts.
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.