使用 CodeQL 驯服 2,500 个编译器警告——OpenVPN2 案例研究

在 OpenVPN2 安全审查中，Trail of Bits 编写 CodeQL 查询，经排除安全常量、区间分析、建模代码库知识、聚焦用户可控输入等步骤，把 2,500 多个隐式转换编译器警告收敛为 20 个高优先级结果，展示了用静态分析精准定位 C 代码危险类型转换的方法。