17 مستودعات
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
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- crytic/slither
crytic/slither
6,141عرض على GitHubStatic analysis framework for Solidity code.
Pythonethereumsoliditystatic-analysis - consensys/mythril
ConsenSys/mythril
4,251عرض على GitHubMythril هو محلل أمان العقود الذكية لـ Ethereum Virtual Machine يستخدم التنفيذ الرمزي لتحديد الثغرات الأمنية في كود البايت قبل النشر. يعمل كماسح ضوئي للثغرات ومدقق رسمي، حيث يعامل مدخلات البرنامج كرموز رياضية لإثبات وجود أخطاء في منطق العقد. تقوم الأداة بإجراء تحليل على مستوى كود البايت لاكتشاف العيوب التي قد تكون مخفية بواسطة المترجمات عالية المستوى. تدمج الأداة أدوات حل SMT لتحديد ما إذا كانت حالات الثغرات المحددة قابلة للوصول، وتقارن آثار التنفيذ الرمزي مقابل مكتبة من توقيعات عيوب الأمان المعروفة. يغطي المشروع نطاقاً واسعاً من قدرات تحليل الأمان، بما في ذلك اكتشاف ثغرات البلوكشين، والتدقيق الرسمي لمنطق العقد، واختبار الأمان المؤتمت. كما يوفر تكاملاً لسير عمل Git للتحقق من الكود كجزء من عملية الالتزام (commit).
Open-source EVM bytecode security analysis tool.
Python - trailofbits/manticore
trailofbits/manticore
3,855عرض على GitHubManticore 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,524عرض على GitHubComprehensive list of known attack vectors and common anti-patterns
Curated list of attack vectors and anti-patterns.
- melonproject/oyente
melonproject/oyente
1,340عرض على GitHubAn Analysis Tool for Smart Contracts
Alternative static smart contract security analysis.
JavaScript - securing/dumpsterdiver
securing/DumpsterDiver
1,033عرض على GitHubTool to search secrets in various filetypes.
Automated scanning for hardcoded secrets and sensitive credentials in data.
Python - raineorshine/solgraph
raineorshine/solgraph
1,028عرض على GitHubVisualize 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++
