C和C ++的静态分析工具PC-lint Plus v1.3更新内容:文档改进

翻译|行业资讯|编辑:莫成敏|2019-11-14 14:41:07.977|阅读 38 次

概述:本文描述了在PC-lint Plus v1.3版本中的更新内容之一,文档改进的内容,感兴趣的朋友可以请看下面内容~

PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。

本文描述了在PC-lint Plus v1.3版本中的更新内容之一,文档改进的内容,感兴趣的朋友可以请看下面内容~

点击下载PC-lint Plus最新版


文档改进:

  • 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正版授权,或了解更多产品信息请点击“咨询在线客服”

850×68.png



标签:

本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处,尊重他人劳动成果

文章转载自:Gimpel Software https://gimpel.com/

登录 慧都网发表评论


暂无评论...

为你推荐

  • 推荐视频
  • 推荐活动
  • 推荐产品
  • 推荐文章
  • 慧都慧问
相关厂商
相关产品
PC-lint Plus

PC-lint Plus是C和C ++的首选静态分析工具。

在线
客服
在线
QQ
电话
咨询
400-700-1020
购物车 反馈 返回
顶部
在线客服系统
live chat