猎户座

Orion:C和C++程序静态误差分析的高精度方法。我们描述了一个工具Orion背后的算法和实现思想,该工具用于使用静态代码分析查找C和C++程序中的常见编程错误。我们的目的是探索这种分析的成本和精度之间的基本权衡。使用简单数据流域的分析方法存在生成大量错误报告的风险。另一方面,复杂域的使用减少了错误的数量,但是限制了可以分析的代码的大小;每一条发现的错误路径都会被一个高精度的可行性分析仔细检查,目的是过滤尽可能多的错误。在一些软件程序上的实验结果表明,这种方法可以在可接受的成本下获得高信噪比的报告错误。