AI 逆向工程结论需要确定性工具作为裁判，避免模型编造

来源证据

语言模型在二进制逆向中会自信地编造偏移、大小和行为，幻觉问题是使用 AI 进行真实逆向工程的最大阻碍。

struct or an algorithm from a binary and it will confidently invent offsets, sizes, and behavior. In binary analysis this hallucination problem is far worse than in source code, and *"did the model just make that up?"* is the single biggest blocker to using AI for real RE. ## What Reverify does Reverify pairs a language model with a **deterministic, pure-Python RE toolkit** and makes the toolkit the judge. The model proposes; the tools verify. A hypothesis about a structure or an algorithm is