标签: 软件分析

1 篇文章

thumbnail
【论文阅读】Progressive Scrutiny@ Incremental Detection of UBI bugs in the Linux Kernel
Abstract 中文 Linux 内核更新频繁,更新过程会提供新的特性和提供代码补丁,但也会引入新的代码问题和安全问题。同时,当前的工具中虽然具有静态检测漏洞的能力,但由于完整的分析会缺乏时效性,无法跟上Linux更新频率。针对这个问题,可以利用增量分析来解决,但受到Linux庞大内核和高误报率的问题,利用增量分析会面临一些挑战。 在该论文中,作…