How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. 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.
Projects with overlapping indexed features 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,…
