提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
原创|产品更新|编辑:郑恭琳|2020-07-03 16:25:32.223|阅读 390 次
概述:1.3.5版本对PC-lint Plus进行了许多改进。包括:更新了AUTOSAR,MISRA C和MISRA C++,新消息和标志选项,对Visual Studio配置生成器GUI的改进等。
# 慧都年终大促·界面/图表报表/文档/IDE等千款热门软控件火热促销中 >>
相关链接:
功能改进
对于消息727、728、729和738,现在可以识别使用函数语法调用默认构造函数的显式初始化。此外,如果打开新标志fde,那么消息727、728和738将考虑使用显式声明的默认构造函数进行隐式初始化,以构成显式初始化。默认情况下,标志是关闭的。消息729的描述已经更新,以注意C++类的现有异常。
PC-lint Plus现在支持消息506。消息717已经从只覆盖整数文字0扩展到还包括false以匹配消息716,它已经考虑了1和true。这两条消息现在都包含文字,即使是在需要转换的时候。
新消息9177(语句条件具有非布尔型)和9178(条件运算符的谓词具有非布尔型)为MISRAC提供了改进的支持++规则5-0-13和5-0-14,其中消息909(隐式布尔转换)以前用于提供部分支持。新消息现在也用于支持AUTOSAR A5-0-2和M5-0-14准则。
AUTOSAR规则A12-8-7现在得到新消息9185的支持(赋值操作符声明没有lvalue ref-qualifier)。
AUTOSAR规则A13-2-3现在由新消息9186(用于比较函数的非布尔返回类型)支持。
堆栈使用消息和堆栈使用报告以前可以以不同的顺序列出函数,从一个运行到另一个运行,即使只使用一个线程。堆栈使用信息现在以确定性的顺序呈现。
分析包含大量基于范围的抑制的项目时的性能(例如--e(#))已经改进。
struct X { int array[10]; void f(X a, X b) { a = b; } X& operator=(const X&) = default; };
将导致消息545(获取数组地址)以及用于实现复制分配运算符功能的几个可选注释。
显式默认函数的内部实现不再受此分析的影响。
消息981(冗余铸造)不再在模板实例化中发布。
消息1544的描述(由于运行时间初始化,变量的值不确定)已经被更新,以包括一个更好地阐明消息发布情况的示例。
MISRA C++解释忽略了以前应用于常量变量的常量表达式基础类型规则,该变量的值仅在豁免递归地应用于所有这些操作数时才依赖于多个操作数。如果所有其他操作数都是整数常量表达式,那么任何这样的操作数都可以被豁免。
对消息1919的描述已经更新,以更清楚地阐明其目的。
消息1930的描述已经更新,以澄清没有报告显式转换运算符。
消息894现在可以使用对应于特定步行描述的字符串参数和对应于特定步行调用的函数的符号参数来抑制。只有当调用者和callee的主体在同一个模块内时,符号才可用。现在可以使用一个字符串参数来抑制消息897,该参数对应于实例化是一个“类”模板还是一个“函数”模板,一个字符串参数对应于在消息文本中出现的带有模板参数的实例化名称,以及与实例化的声明相对应的符号参数。请注意,符号参数可以同时使用-esym和-etype来抑制。+paraminfo选项现在可以与两个消息以及消息893一起使用(消息893已经将宏名作为字符串参数提供)。
对!e选项的描述现在注意到消息893、894和897不受直接单行抑制的影响。
补充消息890不再包含在消息列表中,因为它没有被使用。
消息2662(指针上的指针算法可能不引用数组)已添加到支持MISRAC2012规则18.1的消息列表中,从而增强了对该规则的支持。
消息857(memcmp/memcpy/memmove函数中的参数不兼容)以前没有发出,当时分析函数调用的前两个参数中的一个或两个参数都是经过数组以指针衰减的数组。这样的调用现在是857的候选,并且将适当地分析不兼容的参数。
准则A5-2-2以前得到1924号电文的支持。现在,1954年的新消息使它得到了增强,该消息报告已失效。这两个消息现在都由源类型和目标类型参数化。
消息9075的描述(外部符号在没有事先声明的情况下定义)以前暗示消息在只报告对象定义时同时报告对象和函数定义。消息的描述已经细化,消息957报告定义的功能,没有原型在范围内。
消息829(以前为报头发出了一个+的报头警告选项)以前只是在第一次发出指定的报头是#include’d时发出的,当时报头使用了一个#pragma once指令,或者受到报头保护,并且fho标志选项处于活动状态。如果头的第一个包含出现在库代码中(其中此消息通常被抑制),那么随后在非库代码中包含头将不会被诊断。消息829现在为适当的标题发出,而不管是否存在#pragma once或头保护。
消息9134的描述已被更新,以替换消息文本中使用预期未签名的单词的出现。
消息1798已添加到AUTOSARM3-1-2和MISRAC++规则3-1-2。消息9108在C++模块中不再受限制。这两条信息的描述已经澄清。
跟踪静态局部变量和全局变量,在调用函数时具有内置的特殊语义断言功能已得到改进。
消息9234(移位量超过操作数的底层类型的大小),用于支持MISRAC2004规则12.8,现在报告了除了简单的移位操作符之外涉及复合移位分配的违规行为。
更多更新详情请查看后续更新内容详解。
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@cahobeh.cn
知名C/C++开发工具CLion全新发布v2024.3,新版本新语言引擎有显著改进等,欢迎下载新版体验!
强大的VS插件CodeRush已正式发布v24.2.3,新版本现在可以运行xUnit.Net v3测试等,欢迎下载最新版体验!
Spire.PDF 10.12.4 最新版本支持在进行多页打印时设置自动旋转方向。同时,一些已知问题也在本次更新中被成功修复,例如打印 PDF 文档时内容丢失的问题,欢迎下载体验~
日程安排控件dhtmlxScheduler v7.2全新发布,新版本增强并增加了编辑、修改等多个操作体验,欢迎下载最新版试用~
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@cahobeh.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢