-
-
[旧帖] [翻译]PVS-Studio静态代码分析工具 0.00雪花
-
发表于: 2011-11-21 11:16 991
-
测试C/C++/C++11应用程序源代码中的错误。
静态代码分析工具是一种检测代码缺陷和分析对比商业代码的工具,它分析源代码和它生成的目标文件,但并不实际运行源代码。对安全性、稳定性要求很高的领域,比如航天、国防、工业控制、金融等就需要严格的代码分析工具。PVS-Studio 能发现代码中一些潜在问题,或者针对某些潜在问题给出警告。
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".公司。
PVS-Studio 功能
• 融合Visual Studio2005/2008/2010的开发环境;
• 提供在线帮助;
• 可以生成PDF文件;
• 可以保存和下载分析结果;
• 具有命令行启动能力;
• 支持所有的内核和处理器;
• 评估64位代码迁移的复杂度;
• 支持Windows(LLP64)和Linux(LP64)的数据模型;
• 交互式过滤器;
• 易于融入团队开发项目中;
• 标记程序文本来检查新代码。
PVS Studio用户包括:微软,美国通用,德国博世,IMC GAMES,Eurocom等
静态代码分析工具是一种检测代码缺陷和分析对比商业代码的工具,它分析源代码和它生成的目标文件,但并不实际运行源代码。对安全性、稳定性要求很高的领域,比如航天、国防、工业控制、金融等就需要严格的代码分析工具。PVS-Studio 能发现代码中一些潜在问题,或者针对某些潜在问题给出警告。
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".公司。
PVS-Studio 功能
• 融合Visual Studio2005/2008/2010的开发环境;
• 提供在线帮助;
• 可以生成PDF文件;
• 可以保存和下载分析结果;
• 具有命令行启动能力;
• 支持所有的内核和处理器;
• 评估64位代码迁移的复杂度;
• 支持Windows(LLP64)和Linux(LP64)的数据模型;
• 交互式过滤器;
• 易于融入团队开发项目中;
• 标记程序文本来检查新代码。
PVS Studio用户包括:微软,美国通用,德国博世,IMC GAMES,Eurocom等
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入!
赞赏
他的文章
看原图
赞赏
雪币:
留言: