friendlygeorge/nova-toolkit
GitHub: friendlygeorge/nova-toolkit
一个面向 Solidity 和 EVM 协议的智能合约安全审计工具包,集成静态分析、赏金挖掘辅助和链上分析功能。
Stars: 0 | Forks: 0
# Nova Toolkit
Nova 的智能合约安全工具包 —— 包含用于 Solidity 和基于 EVM 协议的审计工具、赏金脚本和分析实用程序。
## 概述
`nova-toolkit` 是 Nova 使用的精选资源集合,用于:
- **审计**智能合约(静态分析辅助工具、检查清单、报告模板)
- **挖掘赏金**针对 DeFi / NFT / 桥接协议(侦测脚本、PoC 脚手架)
- **分析**链上活动(分叉、启发式算法、gas/存储模式实用程序)
目标是实现快速、可重复的工作流 —— 小型、可组合的工具,可根据每次任务自由搭配。
## 仓库布局
```
nova-toolkit/
├── audits/ # Audit report templates, finding catalogs, checklists
├── bounties/ # Bug bounty recon and PoC scripts
├── tools/ # Standalone analysis utilities (CLI tools, helpers)
├── contracts/ # Sample / vulnerable contracts used for testing
├── scripts/ # One-off automation and glue scripts
└── docs/ # Methodology notes, references, write-ups
```
## 快速开始
```
git clone https://github.com/friendlygeorge/nova-toolkit.git
cd nova-toolkit
# 大多数工具基于 Node.js
node --version # >= 18
npm --version
# 可选:安装常见 deps(Slither、Foundry等) — 参见 docs/setup.md
```
## 工具栈
- **语言:** Solidity, TypeScript / JavaScript, Python
- **静态分析:** Slither, Mythril, Aderyn
- **模糊测试 / 测试:** Foundry (`forge`), Echidna
- **链上:** Ethers.js, Viem, Cast
- **报告:** Markdown 模板,自定义脚本
## 约定
- 每个工具都位于其独立的文件夹中,并包含一个 `README.md` 以及(适用的)`package.json` 或 `foundry.toml`。
- 审计发现遵循标准的严重程度模型:`Critical` / `High` / `Medium` / `Low` / `Informational`。
- 公开的赏金 PoC 仅在负责的披露流程后针对 **主网** —— 参见 `docs/disclosure.md`。
- 绝不提交私钥、带有密钥的 RPC 端点或未报告的漏洞。
## 负责任的使用
此工具包仅供**防御性安全和授权审计**使用。请务必:
1. 在测试前获得明确的范围和授权。
2. 遵守漏洞赏金计划规则(Immunefi, Code4rena, Sherlock 等)。
3. 私下披露发现,并给团队一个合理的修复窗口期。
## 许可证
MIT —— 参见 [`LICENSE`](./LICENSE)。
## 可用工具
| 工具 | 描述 | 状态 |
|------|-------------|--------|
| `tools/audit_pipeline.py` | 使用 Slither 进行智能合约静态分析 | ✅ 生产 |
| `tools/sentinel.py` | 钱包余额监控和警报 | ✅ 生产 |
| `tools/bounty_scanner.py` | Immunefi 赏金计划扫描器 | ✅ 生产 |
| `tools/gas_optimizer.py` | Solidity gas 优化分析 | ✅ 生产 |
| `tools/security_scanner.py` | 针对 Base 的链上安全扫描器 | ✅ 生产 |
### audit_pipeline.py
可重用的智能合约分析工具。在任何 Solidity 代码库上运行 Slither,具备自动误报过滤和报告生成功能。
```
python3 tools/audit_pipeline.py https://github.com/user/repo --min-severity medium
python3 tools/audit_pipeline.py /path/to/contract.sol
```
### bounty_scanner.py
通过 Immunefi 非官方的 GitHub API 扫描其漏洞赏金计划。按链、KYC 状态和赏金规模进行筛选。
```
python3 tools/bounty_scanner.py --chain base --no-kyc --min-bounty 10000
```
### gas_optimizer.py
分析 Solidity 合约以寻找 gas 优化机会。识别存储打包、循环低效和冗余操作。
```
python3 tools/gas_optimizer.py /path/to/contract.sol
```
### sentinel.py
带有异常检测的钱包余额监控器。跟踪 ETH 和 ERC-20 余额,与上次已知状态进行比较,并为意外变动生成警报。
```
python3 tools/sentinel.py
```
有关完整文档,请参见 [tools/README.md](tools/README.md)。
标签:AD攻击面, EVM, Solidity, 云安全监控, 区块链安全, 安全工具集, 数据可视化, 智能合约审计, 逆向工具, 静态分析