arXiv cs.SE· Xiarun Chen, Jiaxing Xu, Bozhi Wu, Chenhui Cui, Chunrong Fang, Weiping Wen, Tao Li, Rubing Huang, Tsong Yueh Chen·· 2 小时前AI 评分38
SymLift：面向上下文不完整代码片段的免编译漏洞检测框架
SymLift: Neural Semantic Lifting for Compile-Free Vulnerability Detection in Context-Incomplete Code Fragments
AI 导读
研究者提出 SymLift，一个面向上下文不完整代码片段的免编译漏洞检测框架，用微调后的大语言模型在受限的类 LLVM 中间表示中重建与漏洞相关的控制流、数据流、内存和资源关系，再由确定性解析器校验并映射为证据事实，通过 Datalog 规则推导出带推导轨迹的结论。
来源：arXiv cs.SE · arxiv.org