SentinelLabs 开源 VerifiedIDA：让 LLM 驱动的逆向工程可检查、可接续、可复用

SentinelLabs 开源 VerifiedIDA 并提出 LLM 驱动逆向工程标准，要求每条标注可追溯到证据、数据库更改经验证、项目状态保存在模型上下文之外，并由独立审查评估标注准确性与遗漏工作。该工具在 IDA Pro 上中介模型对数据库的每次访问并记录全部操作。评估发现模型自主逆向二进制时存在标签不准确、发现未写入数据库、丢失未完成工作、分析提前停止四类反复出现的问题。