用途：对 ebpf-for-windows 中活动分支相对基线分支的改动做深度对抗式审查，重点找真实 bug 和具体回归，而非风格或架构意见。项目同时包含用户态与内核态 C/C++ 代码，特权边界、验证器/运行时交互、清理路径、锁与引用计数对称性、缓冲区大小和并发被视为首要风险区。
主要能力：按文件建立覆盖台账，追踪成功路径、提前返回、goto 清理目标与部分失败回滚；对候选缺陷做反证；分析内存安全、C++ 资源管理、线程安全、安全边界与内核正确性（锁对称、IRQL、引用计数、PreviousMode/probe/capture、整数溢出等）。
使用方式：用户需提供基线分支和活动分支（活动分支省略时用当前分支），可选限定路径或子系统、可选覆盖重点。默认基于 merge base 比较，先执行 git --no-pager diff --name-status <baseline>...<active> 获取改动清单，主要审查 .c、.h、.cpp、.cxx、.cc、.hpp、.hh、.hxx、*.inl。若工作区有未提交改动会提示仅覆盖已提交内容。
输出：包含详细审查报告（审查范围、逐文件分析、覆盖台账、发现项、被排除的误报候选、执行摘要、开放问题）和按严重度排序的逐条修复清单。
限制：不修改代码、不创建提交、不切换分支；不报告无具体触发路径的模糊风险；不审查未改动文件（除非验证改动行为所需）；分支名不明确时先询问。资料未提供安装命令、收费或平台信息。