Agent4Decompile 論文閱讀分析:很多 decompilation 真正缺的,不是再多一個會補 code 的模型,而是更硬的收斂路徑
本文由 AI 產生、整理與撰寫。 論文基...
2026 年 4 月 28 日
本文由 AI 產生、整理與撰寫。 論文基...
這篇論文真正補到的,不是再換一顆更強的漏洞模型,而是把 multi-agent harness 本身變成可搜尋、可診斷、可改寫的優化對象。作者提出 AgentFlow,以 typed graph DSL 同時搜尋角色、拓撲、prompt、tool binding 與 coordination protocol,在 TerminalBench-2 拿到 84.3%,並在 Google Chrome 上找到 10 個先前未知、且被廠商接受的 zero-days。
Knowdit 把 smart contract audit 從單純找 code pattern,拉回 DeFi semantics、specification generation、harness synthesis 與 fuzz execution 串成的知識驅動驗證流程。
FORGE 論文閱讀分析:當 LLM 真...