smart-contract-audit

name	smart-contract-audit
description	智能合约审计：重入攻击检测、整数溢出检查与常见漏洞模式启发式扫描。源码字符串启发式检测，非形式化验证工具；不可用于智能合约安全背书或正式审计；不适用于实盘DeFi项目安全评估。
version	1.0.0
author	wangyi

smart-contract-audit

智能合约审计工具，实现重入攻击（Reentrancy）检测、整数溢出检查、权限控制分析、常见漏洞模式扫描。仅使用 Python 标准库。

脚本API

detect_reentrancy(code)

检测重入攻击漏洞。 必填: code

detect_integer_overflow(code)

检测整数溢出风险。 必填: code

detect_access_control_issues(code)

检测权限控制问题。 必填: code

detect_other_vulnerabilities(code)

检测其他常见漏洞。 必填: code

audit_contract(code, check_types=None)

智能合约综合审计。 必填: code

调用示例

python scripts/main.py \
  --code <code> \
  --check-types <check_types> \