PVS-Studio
C/C++/C++11 静态代码分析仪
静态代码分析软件静态代码分析仪是一种检测代码缺陷、分析对比
商业代码的工具,它分析源代码和它生成的目标
文件,但并不实际运行源代码。应用于对安全性、
稳定性要求很高的领域,比如航天、国防、工业
控制、金融等就需要严格的代码分析工具。
PVS-Studio 能发现代码中一些潜在问题,或者
针对某些潜在问题给出警告。
PVS - Studio 是一款静态分析软件,用于诊断C / C++/ C+11 应用程序源代码中的错误。PVS - Studio 包含3套诊断规则:
64位错误诊断规则(Viva64)
平行错误诊断规则(VivaMP)
通用诊断规则
想要了解关于每一种诊断的更多信息,请访问相关的网页,PVS – Studio 是为当代应用程序开发人员量身定做的。它结合在 Visual Studio2005/2008/2010 的开发环境中,为程序员提供了一个便利的人机交互用户界面来分析文件。通过代码导航,得到参考信息。PVS-Studio 安装了之后就可以开始工作,您不需要事先学习文件,也不需要设置什么。
相对于其他类型的方法而言,我们采用的静态代码分析方法有明显的优越性,因为它可以覆盖整个程序代码。代码检查的过程在任何情况下都不会破坏代码本身。分析过程完全由程序员控制,并决定是否需要修改代码。
PVS - Studio 工具是俄罗斯 OOO "Program Verification Systems" 公司自主开发。
融合 Visual Studio2005/2008/2010的开发环境;
提供在线帮助;
可以生成PDF文件;
可以保存和下载分析结果;
具有命令行启动能力;
支持所有的内核和处理器;
评估64位代码移植的复杂度;
支持 Windows(LLP64)和 Linux(LP64)的数据模型;
交互式过滤器;
易于融入团队开发项目中;
标记程序文本仅检查新代码。
140.5M / 09-05
76.4M / 03-25
55M / 06-05
237.9M / 04-13
900.9M / 03-02
96.2M / 07-06
311.2M / 07-06
335M / 07-06
200M / 07-06
413.8M / 07-06
484.7M / 09-27
165.4M / 09-05
353.9M / 06-05
131.8M / 04-13
195.6M / 03-03
45.6M / 09-08
665.2M / 07-06
2.84G / 07-06
93M / 07-06
338.3M / 07-06
1.38G / 07-26
488.3M / 07-16
109.8M / 06-03
142M / 01-08
1.2M / 11-23
548.8M / 04-13
1.6M / 04-13
1.48G / 03-18
646.6M / 03-03
133.7M / 03-03
110.5M / 09-05
33.4M / 09-05
325.8M / 08-12
60M / 04-29
254M / 04-25
659M / 04-23
1M / 12-26
253.4M / 12-08
253M / 12-08
1.19G / 11-16
369M / 09-22
181.5M / 09-22
201.2M / 09-05
488.3M / 07-16
248.9M / 12-08
248.9M / 12-08
100.6M / 03-06
148.9M / 03-06
1.12G / 07-06
1.25G / 07-06
1.76G / 09-22
1.92G / 04-17
116.2M / 04-10
201.5M / 04-13
7.31G / 07-01
94.3M / 07-06
2.48G / 07-06
7.63G / 07-06
1M / 07-06
778.1M / 07-06
561.8M / 07-11
72M / 07-06
548.7M / 07-06
1.00G / 07-06
9.13G / 07-06
126.2M / 07-06
72M / 07-06
105.1M / 07-06
132M / 07-06
132M / 07-06