17 Repos
Awesome GitHub RepositoriesSecurity Analysis Tools
Static and dynamic analysis tools for identifying vulnerabilities in smart contracts.
Explore 17 awesome GitHub repositories matching part of an awesome list · Security Analysis Tools. Refine with filters or upvote what's useful.
Awesome Security Analysis Tools GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- crytic/slither
crytic/slither
6,141Auf GitHub ansehenStatic analysis framework for Solidity code.
Pythonethereumsoliditystatic-analysis - consensys/mythril
ConsenSys/mythril
4,251Auf GitHub ansehenMythril 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
Open-source EVM bytecode security analysis tool.
Python - trailofbits/manticore
trailofbits/manticore
3,855Auf GitHub ansehenManticore is a symbolic execution engine designed for the analysis of binary executables and smart contracts. It functions as an automated vulnerability scanner and verification platform that systematically traverses program execution paths to identify security flaws, validate business invariants, and ensure software properties hold true under all possible input conditions. The engine distinguishes itself through a unified instruction set abstraction that enables consistent analysis across diverse architectures and contract formats. It provides a programmatic interface for deep customization,
Symbolic execution tool for smart contracts and binaries.
Python - sigp/solidity-security-blog
sigp/solidity-security-blog
1,524Auf GitHub ansehenComprehensive list of known attack vectors and common anti-patterns
Curated list of attack vectors and anti-patterns.
- melonproject/oyente
melonproject/oyente
1,340Auf GitHub ansehenAn Analysis Tool for Smart Contracts
Alternative static smart contract security analysis.
JavaScript - securing/dumpsterdiver
securing/DumpsterDiver
1,033Auf GitHub ansehenTool to search secrets in various filetypes.
Automated scanning for hardcoded secrets and sensitive credentials in data.
Python - raineorshine/solgraph
raineorshine/solgraph
1,028Auf GitHub ansehenVisualize Solidity control flow for smart contract security analysis. :dollar: ⇆ :dollar:
Visualize Solidity control flow for security analysis.
JavaScriptethereumsolidity - crytic/ethersplay
crytic/ethersplay
EVM dissassembler
EVM disassembler for smart contract inspection.
Python - sec-bit/awesome-buggy-erc20-tokens
sec-bit/awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
Collection of known vulnerabilities in token contracts.
Python - factionsecurity/faction
factionsecurity/faction
Faction is now an OWASP Project! You can find more information here
Framework for automating penetration testing reports and vulnerability tracking.
Java - pessimistic-io/slitherin
pessimistic-io/slitherin
Slither Detectors by Pessimistic.io
Plugin providing additional security detectors for static analysis.
Python - ic3hydra/hydra
IC3Hydra/Hydra
Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
Framework for cryptoeconomic contract security and bounties.
Haskell - sri-csl/solidity
SRI-CSL/solidity
This is solc-verify, a modular verifier for Solidity.
Modular verifier for smart contract correctness.
C++ - runtimeverification/kontrol
runtimeverification/kontrol
Formal verification of contracts using property-based testing.
- sec-bit/adelaide
sec-bit/adelaide
The SECBIT Static Analysis Extension to Solidity Compiler
Static analysis extension for the Solidity compiler.
C++
