How this analysis was created: This summary and feature list were written by an AI model that read the project's README and public documentation pages. Each feature links to the documentation it came from; stars, license and language come straight from the GitHub API. The model does not read the source code, and the analysis is refreshed when the project is re-analysed. Learn more on our About page.
Visualize Solidity control flow for smart contract security analysis. :dollar: ⇆ :dollar:
Mythril is an Ethereum Virtual Machine smart contract security analyzer that uses symbolic execution to identify vulnerabilities in bytecode before deployment. It functions as a vulnerability scanner and formal auditor, treating program inputs as mathematical symbols to prove the presence of bugs in contract logic. The tool performs bytecode-level analysis to detect flaws that may be hidden by high-level compilers. It integrates SMT solvers to determine if specific vulnerability states are reachable and compares symbolic execution traces against a library of known security flaw signatures. T
hashsigs-solidity is a cryptographic signature library and security utility for Ethereum smart contracts. It functions as a hash-based signature verifier designed to confirm data origin and integrity within a virtual machine environment. The project focuses on on-chain cryptographic authentication, specifically the verification of one-time signatures to prevent replay attacks. It implements signature validation for Winternitz One-Time Signatures Plus to ensure that data has not been tampered with before it is processed by a contract. The library covers a broad range of cryptographic capabili
Comprehensive list of known attack vectors and common anti-patterns
The main features of sigp/solidity-security-blog are: Security Analysis Tools, Smart Contract Security.
Open-source alternatives to sigp/solidity-security-blog include: raineorshine/solgraph — Visualize Solidity control flow for smart contract security analysis. :dollar: ⇆ :dollar:. consensys/mythril — Mythril is an Ethereum Virtual Machine smart contract security analyzer that uses symbolic execution to identify… crytic/slither. quipnetwork/hashsigs-solidity — hashsigs-solidity is a cryptographic signature library and security utility for Ethereum smart contracts. It functions… bkrem/awesome-solidity — This project is a curated directory and index of resources for Solidity smart contract development. It provides a… foundry-rs/foundry — Foundry is an Ethereum smart contract development toolkit and blockchain simulator designed for compiling, testing,…
