SymLift：免编译检测不完整代码片段漏洞

Xiarun Chen 等作者发布论文，提出免编译漏洞检测框架 SymLift，目标是在代码片段上下文不完整时检测漏洞。其做法是：用微调后的大语言模型在受限的类 LLVM 中间表示中重建与漏洞相关的控制流、数据流、内存和资源关系，再由确定性解析器校验并映射为证据事实，最后通过 Datalog 规则推导出带推导轨迹的结论。 这些效果来自论文自述，尚待独立验证。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。