主要看的 oral
本文针对 linux kernel 源码中存在的 UBI(use before init) 漏洞。作者基于前人的静态分析工具 UBITect 进行改进,UBITect 使用静态分析-符号执行两个阶段检测 UBI 漏洞,但由于静态分析在效率和准确度之间的取舍产生了 95% 的 FP,并且受限于符号执行存在 40% 的超时失败案例,UbiText 会 discard 很多可能的 case。因此本文作者提出用 LLM

authors
这篇 paper 在 23 年挂到 arxiv 上,24 年发表在 OOPSLA 上。预印本的 title 是 The Hitchhiker’s Guide to Program Analysis: A Journey with Large Language Models. 发表的时候赶上热点了,不到一年两篇各 cite 50,加起来 cite 破百。
这是篇 oral. YOUTUBE | SLICES | MAINPAGE
Authors:
- 一作:Haonan Li. UC Riverside。Links: blog |

最低0.47元/天 解锁文章
611






