领先的软件代码静态分析工具
Perforce公司成立于1986年,总部在英国。Perforce公司被世界范围内的高级软件开发人员、行业专家、标准团体认可为编程标准专家。其一直致力于通过静态分析来自动化地检查编程标准的遵循并发现软件的缺陷。
Perforce公司的主要产品包括: QAC/QAC++,QA.MISRA C/QA.MISRA C++,QA Verify。
QAC/QAC++是用于代码规则检查的自动化工具,代码审查主要检查代码和设计的一致性,代码对标准的遵循、可读性,代码的逻辑表达的正确性,代码结构的合理性等方面;可以发现违背程序编写标准的问题,程序中不安全、不明确和模糊的部分,找出程序中不可移植部分、违背程序编程风格的问题,包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。
MISRA Compliance 模块为QAC可选组件,执行MISRA 2004准则检查,在MISRA Compliance 模块的帮助下,分析源代码查找不符合MISRA的结构。QA C的警告信息直接通过HTML连接到被分析的源代码,同时也与MISRA相关规则参考信息连接。这些参考信息包括MISRA兼容代码中解释性的例子和标准描述。
QA Verify是集代码静态分析和质量管理于一体的软件代码质量管理平台,利于客户端-服务器的架构方式,无缝地集成到日常的开发流程中,最大化地发挥团队协作部署和管理的效率。
Perforce公司参与和遵从以下标准指定:
-ISO C委员会成员
-ISO C++决策成员
-MISRA C创始人
-MISRA C++创始人
提供的产品和服务的领域包括:
-航空航天、汽车、国防、半导体、金融、工业应用、医疗设备、通信