Reverify

产品简介 Reverify 是面向 AI 编程 Agent 的反幻觉工具，用于验证二进制分析中的假设。它通过确定性工具检查真实字节数据，消除模型编造。在 19 个真实 Windows 文件测试中，100% 捕获错误且零误报。适用于恶意软件分析、安全研究等场景。

核心功能 二进制假设验证：接收 AI Agent 的分析假设，自动验证假设与实际二进制数据是否一致。 确定性工具驱动：不依赖 LLM 判断，用确定性工具（字符串提取、PE 分析、反汇编等）获取客观事实。 零误报保障：通过严格匹配算法确保报告的问题均为真实错误，不浪费开发者时间。 恶意软件分析支持：专为二进制分析设计，可处理 EXE、DLL、SYS 等 Windows 可执行文件格式。

特色优势 100% 捕获率：在 19 个真实 Windows 文件测试中，全部错误均被成功捕获。 零误报：不经 LLM 主观判断，只报告与实际字节数据不符的问题。 自动化集成：可作为 Agent 工作流的一环，自动验证 Agent 的分析结论。 开源透明：代码开源，验证逻辑可审计，适合安全研究场景。

适用场景 恶意软件分析：安全研究员用 AI 分析恶意软件时，用 Reverify 验证结论正确性。 固件安全审计：分析固件二进制时验证 AI 生成的假设是否与实际匹配。 二进制漏洞挖掘：验证 AI 识别的潜在漏洞是否真实存在，减少误报干扰。

适用人群 恶意软件分析师；固件安全研究员；使用 AI 辅助二进制分析的安全工程师。