程式邏輯漏洞

深度分析

LogicEval：系統化評估邏輯漏洞自動修復技術的框架與資料集

隨著軟體安全焦點從記憶體漏洞轉向邏輯缺陷，研究者建構 LogicEval 框架並推出首套 86 筆 CVE 標註的 LogicDS 資料集，系統比較傳統與 LLM 為主的自動修復技術。結果顯示，提示詞敏感度與程式碼上下文遺失是主要失敗因素，突顯語意理解的挑戰。