#moon-audit

#功能特性

• 11 条安全检测规则，覆盖 OWASP Top 10 中的注入、访问控制、安全配置错误等类别
• Import 门控：根据项目依赖自动激活相关规则，降低误报率
• 多格式输出：支持 Text、JSON、SARIF 2.1.0（兼容 GitHub Code Scanning）
• LLM 辅助分析：生成结构化提示词，供 LLM 进行深度漏洞验证和误报过滤
• PoC 自动生成：根据检测结果生成 Python 漏洞利用脚本模板
• 修复建议引擎：提供每种 CWE 的修复方案，含 Before/After 代码示例
• 污点追踪：追踪用户输入从 Source 到 Sink 的数据流
• 扫描报告统计：按规则、文件、CWE、OWASP 分类聚合分析结果

#检测规则

#安装

moon add nicball/moon-audit

#使用方式

#扫描项目

moon run src/main -- /path/to/moonbit-project

#指定输出格式

# JSON 格式
moon run src/main -- --format json /path/to/project

# SARIF 格式（GitHub Code Scanning）
moon run src/main -- --format sarif -o results.sarif /path/to/project

#列出所有规则

moon run src/main -- list-rules

#配置文件

{
  "rules": {
    "CWE-116/replace-escaping": { "enabled": true, "severity": "error" },
    "CWE-94/eval-extern": { "enabled": false }
  },
  "exclude": ["_build", ".mooncakes", "*_test.mbt"]
}

#架构

src/
├── scanner.mbt          # 主扫描引擎：目录遍历、AST 解析、规则调度
├── types.mbt            # 核心类型：Finding, Severity, RuleId, Config
├── helpers.mbt          # AST 参数检查工具函数
├── import_analysis.mbt  # moon.pkg/moon.mod 依赖分析
├── config.mbt           # .moon-audit.json 配置加载
├── output.mbt           # Text/JSON 输出格式化
├── sarif.mbt            # SARIF 2.1.0 输出
├── llm_prompt.mbt       # LLM 辅助分析提示词生成
├── poc_gen.mbt          # PoC 漏洞利用脚本生成
├── remediation.mbt      # 修复建议引擎
├── taint.mbt            # 污点追踪数据流分析
├── summary.mbt          # 扫描统计报告
├── cwe*.mbt             # 各 CWE 规则实现
├── scanner_test.mbt     # 核心规则测试
├── extended_test.mbt    # 扩展模块测试
└── main/main.mbt        # CLI 入口

#工作原理

1. Import 分析：解析 moon.pkg 提取依赖信息，构建 ImportContext
2. AST 解析：使用 moonbitlang/parser 将 .mbt 源文件解析为语法树
3. 规则匹配：每条规则实现 IterVisitor trait，遍历 AST 匹配漏洞模式
4. 门控过滤：仅在项目使用相关框架时激活对应规则
5. 结果输出：支持 Text/JSON/SARIF 多种格式

#LLM 辅助分析流程

静态分析发现 → 生成结构化提示词 → LLM 深度分析 → 误报过滤 → 高精度结果

#PoC 验证流程

静态分析发现 → 分类 CWE 类型 → 生成 Python 利用脚本 → 红队验证

#开发

# 编译检查
moon check

# 运行测试
moon test

# 格式化代码
moon fmt

#许可证