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, 云安全监控, 人工智能审计, 加密, 区块链安全, 数据可视化, 智能合约, 漏洞扫描器, 逆向工具, 静态分析