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++的各种方言。使用一个预处理器,
版权声明:本文标题:Coverity功能介绍 内容由网友自发贡献,该文观点仅代表作者本人, 转载请联系作者并注明出处:http://www.roclinux.cn/b/1710919652a579594.html, 本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,一经查实,本站将立刻删除。
发表评论