BlockchainNooberz/Auditing-smart-contracts

GitHub: BlockchainNooberz/Auditing-smart-contracts

面向 Solidity 和 Rust 智能合约的综合安全审计框架,集成漏洞扫描、PoC 验证、AI 辅助审查与审计报告生成。

Stars: 0 | Forks: 0

# 智能合约审计框架 🔐⛓️ 一个用于识别 Solidity 和 Rust 智能合约中漏洞、攻击向量和逻辑错误的综合工具包。可用于手动审计工作流和自动化静态分析 pipeline。 ## 功能 - 🔍 **漏洞扫描器** — 自动检测 reentrancy、整数溢出、访问控制和 oracle 操纵漏洞 - 📋 **审计报告生成器** — 用于专业级安全报告的结构化模板 - 🧪 **漏洞 PoC 框架** — 用于常见 DeFi 攻击模式的漏洞验证概念代码脚手架 - 📚 **漏洞数据库** — 精选的已知智能合约漏洞库,包含真实案例 - 🤖 **AI 审计助手** — 基于 LLM 的代码审查,可标记可疑模式并解释风险 ## 涵盖的漏洞类别 - Reentrancy(单函数和跨函数) - 整数溢出/下溢 - 访问控制漏洞 - Front-running 和 MEV 利用 - 闪电贷攻击向量 - 签名重放攻击 - Oracle 价格操纵 - Proxy 和升级模式漏洞 ## 技术栈 - **语言:** Solidity, Python, JavaScript - **工具:** Slither, Mythril, Foundry, Hardhat - **测试:** Forge fuzzing, 基于属性的测试 - **AI 层:** GPT-4 + 自定义审计 prompt pipeline ## 快速开始 ``` git clone https://github.com/BlockchainNooberz/Auditing-smart-contracts cd Auditing-smart-contracts pip install -r requirements.txt # 运行 static analysis python audit.py --contract ./contracts/MyContract.sol ``` ## 关于 由 **Andrew Elston** 构建 — 区块链安全研究员兼智能合约开发者。 - GitHub: [BlockchainNooberz](https://github.com/BlockchainNooberz) - 联系方式: andrewelston177@gmail.com
标签:Solidity, 云安全监控, 人工智能审计, 加密, 区块链安全, 数据可视化, 智能合约, 漏洞扫描器, 逆向工具, 静态分析