提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
原创|产品更新|编辑:郑恭琳|2020-07-06 10:49:30.743|阅读 417 次
概述:1.3.5版本对PC-lint Plus进行了许多改进。包括:更新了AUTOSAR,MISRA C和MISRA C++,新消息和标志选项,对Visual Studio配置生成器GUI的改进等。
# 慧都年终大促·界面/图表报表/文档/IDE等千款热门软控件火热促销中 >>
相关链接:
功能改进
消息9019(#include之前的符号声明)以前没有报告出现在#include指令之前的声明,如果先前的#include’d文件包含声明。在这种情况下,信息9019将被报告。
新的部分“参数化抑制规则”记录了重复/类似参数化抑制选项所涉及的一些时间细节。
消息2409以前从PC-lintPlus中删除,但消息描述仍然出现在产品文档和帮助设施中。这一点已得到纠正。
消息9076(cast涉及指向void以外的不完整类型的指针)以前只在cast中涉及的两种类型都是指针时才发出。这导致在指向不完全类型和算术类型的指针之间进行转换的错误否定,现在将被正确诊断。
对fai标志的描述已经更新,以反映过去对其行为的改进,如以前的修订历史中所记录的那样。
一些新的和缺失的CERTC指南被添加到au-certc.lnt作者文件以及相应的支持表中。新增加的指南有:PRE30-C、EXP11-C、EXP12-C、EXP13-C、EXP14-C、EXP15-C、EXP16-C、EXP19-C、EXP37-C和EXP39-C。
非变量函数现在支持-printf和-scanf选项以及printf和scanf语义。这允许例如,将printf和scanf语义以及相关的格式字符串检查应用于从变量函数模板实例化的非变量函数,方法是使用具有相应语义选项的函数模板的名称。
已经更新了编译器.yaml数据库,使得针对GCC、Clang和Microchip编译器生成的编译器配置现在包括以下抑制:
-emacro(160 523 505 866,assert)
此选项旨在抑制在GCC最近版本中实现的断言宏扩展期间发出的消息。请注意,这种抑制适用于断言宏的整个扩展,特别是如果提供给断言的参数会引发这些消息之一,则它将在宏的扩展范围内被抑制。可以通过从生成的编译器配置文件中删除这个-emacro选项来恢复以前的行为。
值跟踪先前将积分值转换为指针的结果解释为只有当积分值为空指针常量时才产生空指针。虽然它不受C或C++标准的保证,但通常假设(通常但不一定是真的)内存中零指针的积分表示为零。当新标志fnz打开(默认)时,值跟踪将将将等于零的积分值转换为指针的结果视为产生空指针,即使积分值不是空指针常数。如果关闭标志,则前面的行为不变。例如,当+fnz打开并使用-vt_depth=2时,本例:
void invoke_callback(void(*cb)(unsigned int), unsigned int data) { cb(data); } void callback_handler(unsigned int data) { char* p = (char*)data; *p = 42; } int main() { invoke_callback(callback_handler, 0); }
现在将报告:
warning 413: likely use of null pointer ’p’ *p = 42; ^~ supplemental 894: during specific walk callback_handler(0) cb(data); ^ ... supplemental 831: cast from integer yields nullptr char* p = (char*)data; ^~~~~~~~~~~ ... supplemental 831: argument passing yields 0 invoke_callback(callback_handler, 0); ^
由pclp_config.py生成的Visual Studio2019的编译器配置现在包括更多选项,以改进对Visual Studio2019更新16.4中标准库的更改的支持。
使用pclp_config生成的IAR编译器配置现在将包括对以前缺少的编译器特定关键字的更好支持。 对以前错误包含在IAR ARM编译器配置中的关键字的支持已被删除。
消息336是在源文件中检测到无效字符编码时报告的,除非问题在字符串文字内。一个不同的错误报告在一个前缀字符串文字内的无效字符编码,但在一个未前缀字符串文字内的无效字符编码没有发出消息。新消息2536报告了这个案例。
在“安装和配置”一章中的一个新部分指定支持PC-lint Plus处理的输入文件的文件编码。
由pclpvscfg.exe实用程序生成的配置生成批处理文件现在可以识别具有相对路径的cl.exe/I和-I选项,并将目录转换为绝对路径。若要将此行为应用于其他cl.exe选项,或禁用此行为,请在IMPOSTER_PATH_ARGUMENT_RELATIVE_TO_WORKING_DIR_OPTION_INTRODUCERS中设置环境变量的新行批处理文件可以修改或删除。
在生成Visual Studio编译器函数时,为Visual Studio添加有关C++语言标准编译器选项的注意事项
在创建gcc编译器配置过程中,前面提到了使用pclp_config.py-编译器选项。在创建VisualStudio编译器配置的过程中也提到了它。
将空参数传递给+rw或-rw_asgn之前可能会导致所有保留的单词注册和任务,这些选项被忽略。这种对这些选项的误用现在反而导致错误。
pclpvscfg.exe实用程序现在在请求选择pclp_config.py时默认显示自己的目录。
更多更新详情请查看后续更新内容详解。
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@pclwef.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@pclwef.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢