1 Repo
Awesome GitHub RepositoriesVulnerability Analysis
Analyzing compiled bytecode to discover security flaws and logical bugs.
Distinct from Contract Bytecode Verifications: Focuses on finding vulnerabilities in bytecode rather than verifying that bytecode matches source code.
Explore 1 awesome GitHub repository matching security & cryptography · Vulnerability Analysis. Refine with filters or upvote what's useful.
Awesome Vulnerability Analysis GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- 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
Analyzes low-level EVM bytecode to identify vulnerabilities that are hidden from high-level source analysis.
Python
