提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
原创|产品更新|编辑:郑恭琳|2020-07-06 10:55:29.187|阅读 377 次
概述:1.3.5版本对PC-lint Plus进行了许多改进。包括:更新了AUTOSAR,MISRA C和MISRA C++,新消息和标志选项,对Visual Studio配置生成器GUI的改进等。
# 慧都年终大促·界面/图表报表/文档/IDE等千款热门软控件火热促销中 >>
相关链接:
功能改进
pclpvscfg实用程序现在建议可选的输出文件默认文件名。
消息846、9212和9149以前出现在书面符号说明符的存在下,如果位字段的类型是constor volatile-container。这些信息将不再根据资格发布。
允许使用带有64位版本的MicrosoftVisualStudio2012、2010、2008和2005的pclpvscfg
对MicrosoftVisualStudio2012、2010、2008和2005的64位版本的支持以前添加到PCLP-2889中。 pclpvscfg实用程序现在也允许使用这些工具。
当更改所选语言标准为时已晚时,模块处理过程中出现的-std选项现在被报告。
消息857(memcmp/memcpy/memmove函数中的参数不兼容)是以前发布的,如果前两个参数是指向不同不合格类型的指针。消息现在只有在不同类型不兼容时才发出。
pclp_config.py实用程序现在将metaware_ccac识别为一个参数
-编译器选项,并为Meta Ware ccac编译器提供支持。文档描述了如何创建Meta Ware编译器配置以及如何将PC-lint Plus与基于Eclipse的IDE集成。
以前使用的au-misra3-amd1.lnt配置文件++d选项定义ctype.h宏以扩展到相应函数的调用。现在,配置文件使用--u选项来防止首先定义宏窗体。
在PC-lintPlus中,+的emacro选项可以用来导致消息只在特定宏的扩展期间发出。关于不能为此目的使用这一备选办法的过时说法已从这一备选办法的说明中删除。
以前不存在的-efunc和+efunc选项现在被包含在“如何应用抑制选项”一节中的参数化选项列表中,这些选项使投票影响消息抑制。
在消息2425的实例中,当语义选项引用过多的参数索引时出现的单词“不存在”的拼写已被纠正。
部分支持AUTOSAR17规则A5-5-1现在通过消息414(可能除以零)提供,这是当PC-lintPlus确定一个零值的潜在可能性作为模数除法的RHS时发出的。
当const或volatile出现在typedef或使用name之前时,新消息9183(限定符先于typedef类型)将报告。此消息支持AUTOSAR规则A7-1-3。
新消息9187(在没有相应const版本的情况下声明的非重载下标操作符)是在类声明一个重载的非重载下标成员操作符而不声明一个等效的const版本时发出的。此消息支持AUTOSAR规则A13-5-1。
静态局部变量不再增加所报告的函数的堆栈使用。
添加了LLVM/clang的版权通知和OpenBSD Regex的属性。
静态局部变量不再被假定为在调用函数时可能被修改而不执行其定义。以前的行为可以通过启用新的标志fls来恢复。
更新了信息10、19、52、53、72、82、305、307、318、337、432的说明,437,438,451,466,514,517,571,616,621,686,695,734,1101,1536,1537,1579,纠正拼写/语法和格式问题,纠正示例,澄清描述文本等。
此版本的PC-lintPlus认证为ISO26262:2018(ASILD合格)和IEC61508:2010(SIL4合格)。PC-lint Plus发行版的doc/目录包括这些认证的相应证书,以及“在安全关键应用中使用PC-lint Plus的最佳做法”文件,该文件为在安全关键应用中使用PC-lint Plus提供了合格和使用指南。
值跟踪机制通常在调用未知函数时丢弃静态变量的已知值(例如。 其主体不可用)作为函数的人可以修改静态变量。以前,当一个静态变量被赋值时,一个值由对具有已知返回值的函数的调用组成(例如,具有内置或用户定义的返回语义的函数),该信息未保存在静态变量中。PC-lint Plus现在将保存这些信息。
零长度数组现在被视为值跟踪的不完全数组,如PC-lintPlus将不会对数组的实际大小作出任何假设。这可以防止在索引或访问此类数组的元素时(例如使用“struct hack”时)发出消息,例如415和416。
针对编译器配置由pclp_config生成的GCC,现在预防宏_glibcxx_builtin_is_same_as和_GLIBCXX_HAVE_BUILTIN_IS_CONSTANT_EVALUATED被定义。这些宏的抑制阻止了对这些宏的利用 is_same_as和GCC10头有条件地使用is_constant_evaluated编译器本质。这些intrinsic尚未得到PC-lint Plus的支持,如果PC-lint Plus遇到错误消息,将导致错误消息。
以前,_Float128关键字是无条件启用的,这可能导致在C++模式下处理GCC报头时出现错误,其中GCC将_Float128定义为typedef。_Float128现在通过在co-gcc.h中定义相应的typedef来支持C模块,该typedef只对在C模式中处理的模块激活。
更多更新详情请查看后续更新内容详解。
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@cahobeh.cn
智能高效的IDE GoLand v2024.3全新发布,新版本支持新的和即将推出的 Go 语言功能等,欢迎下载最新版体验~
DevExpress Blazor控件目前已经升级到v24.1版本了,此版本对Scheduler(日程)组件进行了全新升级,欢迎下载最新组件体验!
CAD处理组件CADViewX V15.2全新发布,新版本重点关注导入和导出功能的总体改进,欢迎下载体验~
.NET应用UI框架DevExpress XAF v24.2即将在近期更新,新版本官宣会增强跨平台性,欢迎加入社群及时获取最新信息!
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@cahobeh.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢