符號執行

速報

Chaintrix：把LLM主張綁回結構化合約的智能合約審計框架

智能合約漏洞造成重大損失。團隊提出Chaintrix，要求所有LLM生成主張必須以結構化合約表示檢驗，並以Cross-ContractInteractionModel解析Solidity，用結構性檢查與符號執行分階段過濾誤報；在EVMbench上召回率為71.7%。