admin 管理员组

文章数量: 1184232


2024年3月20日发(作者:web qq网页登陆入口)

Coverity Prevent SQS

Prevent SQS(软件质量系统)是检测和解决C、C++、Java源代

码中最严重的缺陷的领先的自动化方法。通过对您的构建环境、源代

码和开发过程给出一个完整的分析,Prevent SQS建立了获得高质量

软件的标准。

静态源代码分析允许我们再软件开发生命周期的早期阶段发现和修

复缺陷,节省数以百万计的相关成本。Prevent SQS是业界标准,因

为只有Coverity理解和掌握静态源代码分析技术所具有的严格的要

求。

Coverity了解构建系统——Prevent SQS通过在操作系统流程这

个层次监测您的构建系统来获得每一个操作的清晰视图,展现您

的软件。

Coverity了解源代码——Prevent SQS检测比当今市场上任何其

他工具都更多的源代码信息;代码的结构、含义和意图都被用来

揭示其中的严重的错误和不安全性。

Coverity了解开发者——Prevent SQS通过一个客户化的工作流、

功能强大的分析器和易于使用的工具,能够使缺陷在几分钟内被

定位,解决缺陷。

绘制软件DNA图谱(C/C++)

Prevent SQS构建监测软件自动的检测您的编译系统执行的每一

个操作。

Prevent SQS可信编译器收集您代码中的语法、语义和依赖关系

的细节信息。

一个完整的编译器描述库保存了所有的通过可信编译器收集的信

息,所以分析引擎拥有关于源代码的全面的信息。

Prevent SQS通过集成一个位于您的构建系统和操作系统之间的

监测层,记录构建系统和操作系统的交互,获得对于您的构建系统的

一个清晰的了解。这个监测层检测所有的发起的可执行程序,和所有

打开和读写的文件。

当Prevent SQS从您的构建系统检测到对您的编译器的调用,他

执行很多步骤来了解调用操作及其对编译代码的影响。Prevent SQS

转换所有的命令来确切的了解本地预处理器和编译器将如何正确生

成可执行程序。

构建系统中的一个嵌入层记录每个文件的特有的编译,Prevent

SQS提供一个工具使您能够组合这些属性到他们的描述库和可执行程

序中。

Prevent SQS编译很多种类型的C和C++源代码,包括各个编译

器实现的主要的语言扩展和C、C++的各种方言。使用一个预处理器,


本文标签: 构建 源代码 系统 检测 代码