這篇論文把 agentic reverse engineering 的問題重新拉回系統層：真正限制上限的，往往不是模型會不會解釋 binary，而是 obfuscation、token 壓力、dynamic-analysis guardrails、timeouts、emulation 與 hybrid verification 這整條執行鏈能不能成立。