C和C++静态分析工具PC-lint Plus v1.3.5更新：BUG修复（上）

1.3.5版本对PC-lint Plus进行了许多改进。包括：更新了AUTOSAR，MISRA C和MISRA C++，新消息和标志选项，对Visual Studio配置生成器GUI的改进等。

BUG修复

消息9045（在这个翻译单元中，结构/联盟的完整定义是不必要的）以前为C模块中定义的所有联盟发布。此消息现在只在翻译单元中不需要联合定义的情况下发出。此外，消息9045现在总是带有与定义声明相对应的位置（以前它可以在前向声明的位置发布）。

消息550（本地变量随后未被访问）有时会为变量发出，尽管当这个捕获是通过引用完成时，变量是由lambda捕获的。

以前，调用至少一个其他函数的函数的callee可能被错误地告为（没有函数），在平台特定的情况下，对于分析的源代码中的微小变化非常敏感。这个问题已经解决了。

PCLP-3145 改进循环内消息438和838的处理
PCLP-2076 在循环中声明的局部变量现在有资格在迭代结束时由消息438 告。消息838将不再向一个变量告循环中的某些赋值实例，该变量的前一个值是在循环之前分配的。
PCLP-3176 修复消息2427的否定错误

已经解决了一个问题，它可以防止在不返回本地变量时出现消息2427实例。

消息2447以前在声明main的位置发出，当告main被声明为静态的或被定义为删除的时候，但是当告main被内联声明或constexpr时没有出现位置。消息现在也将在后两种情况下发出一个位置。

包含switch语句的函数的堆栈使用的准确性已经通过在以前未计算的交换机中包含堆栈使用而得到了提高。现在考虑条件（包括可能的声明）和主体。

解决初始化后直接访问除已初始化的工会成员以外的工会成员时，可能表现为误 530的问题。

消息2707(函数可以声明为‘noreturn’)以前没有在预期时发出，这个问题已经被纠正了。

消息451（重复包含的头文件，但没有头保护)和967(头文件没有标准的包含保护)现在将被发布为具有控制宏的头文件(一个宏，其定义阻止包含头的内容)，而不是标准包含保护(如消息451和967的描述所定义）。以前，控制宏的存在足以抑制这些消息，从而导致错误的否定。

在某些情况下，当数组下标表达式的结果的地址被提供为使用常量大小数组的语法声明的函数参数的参数时，消息473的错误正实例可能会发生。

在访问本身是工会成员的结构的成员时，可能表现为误 449的问题已经解决。

使用Diag Info Code-37的崩溃可能发生在构造函数上下文中使用构造函数初始化器修改此指针所指对象的构造函数被移动而不受-skip_function选项约束的情况下。

pclp_config针对编译器族iar-rx、iar-rh850、iar-rl78、iar-avr和iar-avr32生成的编译器配置包含不正确的+RW选项，导致在分析过程中不识别保留的单词。这一问题已得到纠正。

当成员函数返回函数指针时，消息1537将不再发出。

PCLP-3310 保管指针的误 593总是在in / else语句中关闭/释放
PCLP-3333 当在if语句的else分支中有条件地关闭/释放一个托管指针时，有时会发出误 593（托管指针可能没有释放或返回），条件是指针在当时的分支中被推断为空。例如：

 void g1() {void* y = malloc(4);if (!y) { }else { free(y); }       }

会错误地告y可能没有被释放。这种行为已得到纠正。

Diag Info Code-37中的一个内部错误，当一个不完全类型的数组经历了数组到指针的衰减之后，这个错误就会发生。

更多更新详情请查看后续更新内容详解。

标签：

声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！