没有找到合适的产品?
联系客服协助选型:023-68661681
提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
翻译|行业资讯|编辑:莫成敏|2019-11-14 14:41:07.977|阅读 591 次
概述:本文描述了在PC-lint Plus v1.3版本中的更新内容之一,文档改进的内容,感兴趣的朋友可以请看下面内容~
# 界面/图表报表/文档/IDE等千款热门软控件火热销售中 >>
相关链接:
PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。
本文描述了在PC-lint Plus v1.3版本中的更新内容之一,文档改进的内容,感兴趣的朋友可以请看下面内容~
文档改进:
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更新内容:新消息摘要
C和C ++的静态分析工具PC-lint Plus v1.3更新内容:修复错误(上)
C和C ++的静态分析工具PC-lint Plus v1.3更新内容:修复错误(下)
想要购买PC-lint Plus正版授权,或了解更多产品信息请点击
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@dpuzeg.cn
文章转载自:Parasoft Jtest以其强大的“度量+去重”功能组合,为开发者提供了一种高效、可靠的解决方案。通过深入洞察代码的本质,优化代码结构,Jtest不仅有助于提升开发效率,还能显著提高代码质量,减少软件缺陷的产生。
Parasoft C/C++test 通过静态分析、安全漏洞检测和行业标准合规检查,帮助开发者在编码阶段即时锁定缺陷,大幅减少后期返工,确保了代码安全性与行业合规性,真正实现开发效率与产品质量的双重提升。
MineRP选择了Tech Soft 3D的HOOPS Visualize作为其平台的图形引擎。HOOPS Visualize以其卓越的性能、丰富的功能和优质的技术支持,成为MineRP平台可视化模块的核心。
作为一款领先的3D图形软件开发工具包(SDK),HOOPS Visualize为CAD、CAE、CAM、BIM等领域的应用程序提供了卓越的可视化能力。
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@dpuzeg.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢