本文针对 Linux 内核快速开发周期中引入新漏洞的问题，提出了一种增量静态分析方法（Progressive Scrutiny），旨在高效检测内核中的 UBI（Use-Before-Initialization）漏洞。传统静态分析工具虽然能发现某些漏洞，但分析整个内核耗时过长，无法跟上内核的更新节奏（平均每小时10次提交）。作者设计了渐进式扫描框架：首先对整个内核进行一次完整的高精度分析，建立基线和调用图等中间表示；随后，当代码发生变更时，仅重新分析受影响的部分，通过增量更新维护分析结果。这种方法面临内核规模巨大、需要高精度以减少误报的挑战。论文在真实内核版本上进行了实验，证明与从头分析相比，增量分析在保持相同检测精度的前提下，显著缩短了分析时间，能够及时发现新引入的 UBI 漏洞。主要贡献包括：形式化定义了内核 UBI 漏洞的增量检测问题；提出了支持精准指针分析、流敏感和路径敏感的增量算法；实现了原型工具并在多个内核版本上验证了其有效性和性能提升。该工作对于内核安全维护者、DevSecOps 团队以及静态分析工具开发者具有重要参考价值。