PVS Studio的功能简介
malong 发布于 2021-02-24

警告级别和诊断规则集

PVS工作室将所有警告分为3个级别:高、中、低。有些警告是指特殊的故障类别。让我们更详细地考虑这些级别:
High(1)-具有最大确定性的警告。此类警告通常表示错误,需要立即更正。
Medium(2)-确定度较低的错误,仍然值得注意。
Low(3)-具有最低程度确定性的警告,指出代码中的小缺陷。此级别的警告通常具有较高的误报率。
Fails - 分析仪的内部警告,告知工作中的一些问题。这些是分析器错误的警告(例如,消息V001、V003 ans等)以及分析器在分析期间使用的任何未处理的实用程序输出(预处理器、命令预处理器cmd),显示在stdout/stderr中。例如,失败消息可以是预处理器关于源代码预处理错误、文件访问错误(文件不存在或被防病毒阻止)等的消息。
应该记住的是,错误的某个代码并不一定将其绑定到某个特定的确定性级别,并且跨级别的分布在很大程度上取决于生成它们的上下文。用于Microsoft Visual Studio的插件和编译器监视UI中诊断消息的输出窗口具有级别按钮,允许根据需要对警告进行排序。


分析仪有5种诊断规则:
General (GA)  - 一般分析诊断。这是PVS Studio中的主要诊断规则集。
Optimization (OP)  - 微观优化的诊断。这些是关于提高代码效率和安全性的提示。
64-bit (64) -诊断,允许检测与开发64位应用程序和将代码从32位平台迁移到64位平台相关的特定错误。
Customers' Specific (CS)  - 高度专业化的诊断,由用户请求开发。默认情况下,这组诊断被禁用。
MISRA-一套诊断,根据MISRA标准(汽车工业软件可靠性协会)开发。默认情况下禁用这组诊断。
诊断组(GA、OP、64、CS、MISRA)的简短描述以及确定级别的编号(1、2、3)用于速记符号,例如在命令行参数中。示例:GA:1,2。
切换某一组诊断规则集可显示或隐藏相应的消息。
您可以在文档的相应部分中找到诊断规则的详细列表。
Analyzer消息可以按各种条件进行分组和筛选,以获得有关Analyzer警告列表工作的更详细信息,请参阅文章“处理诊断消息列表”。
PVS-Studio and Microsoft Visual Studio

安装PVS Studio时,可以选择分析器应与哪些版本的microsoftvisualstudio IDE集成。
在决定所有必要的选项并完成设置之后,PVS Studio将集成到IDE的菜单中。在图中,您可以看到相应的命令出现在VisualStudio的菜单中,以及消息输出窗口中。
在“设置”菜单中,可以根据需要自定义PVS Studio,以使其使用起来最方便。例如,它提供以下选项
预处理器选择;
从分析中排除文件和文件夹;
选择分析期间显示的诊断信息类型;
很多其他的设置。
最有可能的是,在第一次使用PVS Studio时,您不需要任何这些工具,但稍后,它们将帮助您使用该工具优化您的工作。




malong
关注 私信
文章
35
关注
0
粉丝
0