MassAudit Pro: Next-Gen Agentic Security Auditor. Combines CodeQL's precision with LLM (DeepSeek) reasoning. Features an automated "Context-Retrieval Loop" that fetches missing function definitions to eliminate false positives. The future of SAST.

🛡️ MassAudit Pro: Intelligent Code Security Audit System

Automated Static Analysis & AI-Assisted Verification Tool 基于 CodeQL 与大模型的自动化静态代码审计与验证系统

MassAudit Pro 是一款面向企业安全建设与 DevSecOps 流程的下一代自动化代码审计工具。它致力于解决传统静态应用程序安全测试 (SAST) 工具误报率高、验证成本大、上下文缺失的问题。

系统深度整合了 CodeQL 的精准代码检索能力与 DeepSeek LLM 的深度逻辑分析能力，不仅能发现深层逻辑漏洞，还能自动编写、修复并执行单元测试级别的验证脚本 (PoC)，最终通过 AI 裁判 对验证日志进行智能定性，实现从发现到验证的全闭环。

🌟 核心特性 (Key Features)

1. 🧠 智能上下文循环 (Agentic Context Loop)

• 消除幻觉：当 AI 认为代码片段不足以判断风险时（例如看到未定义的函数调用），会主动要求系统在源码中检索该函数的完整定义。
• 精准研判：系统会自动递归提取相关变量、结构体和函数定义，大幅降低因“看不见过滤逻辑”导致的误报。

2. ⚡ 自动化验证与自愈 (Auto-Verification & Self-Healing)

• PoC 草稿生成：针对逻辑型漏洞（如边界溢出、Panic、正则绕过），系统会尝试编写 Go/Python 单元测试脚本。
• 代码自愈：如果生成的测试脚本因缺包、语法错误导致编译失败，自愈模块会将报错信息回传给 AI，自动修正代码并重试（支持多轮自动修复）。

3. ⚖️ AI 智能裁判 (AI Judge)

• 智能定性：AI 会阅读测试日志，区分“程序崩溃”、“被捕获的异常”和“安全防御”。
• 去伪存真：如果测试脚本运行通过且未触发异常，AI 会将其标记为 SAFE_PASS（已防御），有效过滤误报。

⚠️ 重要说明 (Important Note)

无法单元测试的漏洞，需手动完成测试。

AI 虽然强大，但并非万能。对于依赖复杂外部环境（如数据库特定状态、中间件配置、第三方 API）的漏洞，自动化脚本可能无法完美复现。

建议流程：

python3 main.py -> 查看生成的 .md 报告 -> 针对未验证项进行手动复现

🔄 工作流水线 (Workflow)

1. [环境初始化] 加载项目列表，建立 SQLite 索引。
2. [静态扫描] CodeQL 引擎构建数据库并执行查询，生成 SARIF 原生数据。
3. [预处理] 过滤测试文件与低风险干扰项。
4. [智能研判]
   • 提取漏洞片段。
   • Context Resolver 动态补全缺失的函数/变量定义。
   • AI 判定风险等级。
   • Code Generator 尝试编写验证脚本 (PoC)。
5. [验证与归档]
   • 执行 PoC 脚本（含编译错误自愈）。
   • AI Judge 分析控制台输出，判定验证结果（崩溃/通过/异常）。
   • 生成 Markdown 报告，保存 PoC 文件，写入数据库。

🛠️ 快速开始 (Quick Start)

1. 环境准备

• Python 3.10+
• CodeQL CLI (需配置到系统 PATH)
• Golang (用于运行验证脚本)
• 目标语言的 CodeQL 规则包 (Standard Libraries)

2. 安装

git clone [https://github.com/Y