首页
社区
课程
招聘
[旧帖] [翻译]PVS-Studio静态代码分析工具 0.00雪花
发表于: 2011-11-21 11:16 965

[旧帖] [翻译]PVS-Studio静态代码分析工具 0.00雪花

2011-11-21 11:16
965
测试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等

[培训]内核驱动高级班,冲击BAT一流互联网大厂工作,每周日13:00-18:00直播授课

收藏
免费 0
支持
分享
最新回复 (0)
游客
登录 | 注册 方可回帖
返回
//