C和C ++的静态分析工具PC-lint Plus v1.3更新内容：文档改进

PC-lint Plus是一种静态分析工具，通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样，PC-lint Plus会解析源代码文件，执行语义分析，并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制，包括数据流分析，数值跟踪，读写分析，强类型检查，功能语义验证和许多其他技术，来提供对单个文件和整个项目强大而全面的分析。

PC-lint Plus最新版

文档改进：

PCLP-2559 正确描述-zero_err和+ zero_err选项

-zero_err和+ zero_err选项的描述和相应的示例是错误的，已更正。
PCLP-2561 完全由通配符组成的模式的文档行为

PC-lint和PC-lint Plus始终对待完全由与模式*等效的通配符组成的模式，例如匹配任何内容，不仅是消息或具有2位数字/字符的字符串，而且从未记录过此行为。现在在有关通配符的部分中描述了这种特殊情况下的行为。
PCLP-2583 消息686的文档变体，用于可疑-i选项

现在记录了可能为-i选项的可疑路径发出的各种形式的消息686。
PCLP-2634 更新了1564的说明

消息1564的描述已更新，以阐明消息是针对等于0或1的整数常量表达式（如果它们不是整数文字）发出的。
PCLP-2641 改进+ fpe的文档

+ fpe标志的文档已得到改进，可以更清楚地说明每种可能状态的行为。
PCLP-2804 更新MISRA支持表

《参考手册》中的MISRA支持表中有几条规则与相应的.lnt文件中使用的消息不匹配，或者被错误地标记为不支持。支持表已适当更新。
PCLP-2811 改进701-704消息文档

更改701-704消息文档，以指示仅在sizeof（type）<= sizeof（int）时才发出701和703，否则发出702和704。
PCLP-2822 消息1526和1714不为私人成员发布

消息1526（未定义的成员函数）和1714（未引用的成员函数）的描述已更新，以阐明这些消息不是为私有成员发布的。
PCLP-2825 新的MISRA支持摘要

手册的MISRA部分现在在相应的支持矩阵之前包括摘要表。
PCLP-2861 为消息757和758阐明了global的含义。

消息757和758的描述已更新，以阐明这些消息的文本中使用的global的含义。
PCLP-2864 澄清579的消息描述

对消息579的描述（省略前面的参数不能为字符串）进行了澄清，以指定相关参数为紧接在省略之前的参数，这是根据C和C ++标准的未定义行为，并且现在包括字符串的可能值发出消息时的参数。
PCLP-2883 诊断后期多线程输出重定向选项的可疑使用

遇到第一个模块后，带有-oe和-os选项的输出重定向不能确定性地用于多个线程。输出重定向是在整个过程范围内的，当使用多个线程时，每个模块将在线程完成时将其整个输出发送到当前输出位置（该位置可能已由另一个线程设置，因此导致输出取决于线程完成的顺序）。
PCLP-2898 更新并区分1764和1746的描述

消息1764和1746的文本已更新，以阐明消息1764 告可以将已经具有引用类型的参数作为const的引用，而消息1746 告可以将非引用类型的参数作为参考这可以做成const。
PCLP-2899 更正消息901、1731和1906的引用。

消息901、1731和1906先前在消息的描述中引用了错误的参考，这些参考已得到纠正。
PCLP-2905 更新-save和-restore选项的描述

-save和-restore选项的描述已更新，以更准确地反映它们在PC-lint Plus中的行为。
PCLP-2907 将可疑的-i警告扩展到–i

现在也为–i提供了-i路径的可疑选项警告。
PCLP-2911 记录抑制选项未保留在PCH文件中的事实。

现在，文档阐明了抑制选项未保留在生成的PCH文件中。
PCLP-2916 MISRA C 2012的正确可判定分类规则11.2

MISRA C 2012支持矩阵中的输入错误地表明规则11.2尚不确定，已更正。
PCLP-3003 更新消息1774的描述

对消息1774的描述已得到改进，更准确地描述了消息的行为。
PCLP-3010 版本和Beta状态已添加到手册中

现在，手册的第一页列出了它随附的PC-lint Plus版本。 Beta版本的手册现在每页的右下角都有一个BETA标签。

C和C ++的静态分析工具PC-lint Plus v1.3更新内容：文档改进

相关推荐

发表回复