C和C ++的静态分析工具PC-lint Plus v1.3更新内容：新消息摘要

PC-lint Plus是C和C ++的首选静态分析工具。在PC-lint Plus v1.3版本中，引入了50多条新消息内容，现在就来看看消息内容吧~

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

PC-lint Plus最新版

从前面的PC-lint Plus v1.3更新新闻中我们了解到，v1.3版本中，一共引入了50多条先消息，现在就跟着小编来了解具体内容吧~

新消息摘要：

• 180：无法为类型取决于字符串的符 symbol生成错误的名称

• 311：间接文件深度超出了“整数”的限制

• 398：致命错误（由选项要求）：“字符串”

• 399：致命错误（由选项要求）：“字符串”

• 886：在有条件排除的区域中遇到的预处理程序指令“名称”已被弃用。（字符串）

• 1422：默认构造函数符 默认在类外部

• 1423：从类型到类型的reinterpret_cast具有未定义的行为

• 1756：变量符 具有“静态/线程”存储持续时间和非POD类型

• 1779：在类符 中引入了虚拟功能符 ，该符 被标记为“Final”

• 1946：使用功能样式转换将type类型转换为type类型

• 2414：非标准文字后缀“string”

• 2460：字符串文字字符串，作为参数整数提供给函数符

• 2461：使用了“rand / random”功能，而未明确调用“srand / srandom”

• 2470：多个连续推送流无法移植

• 2471：已关闭的流上的操作

• 2472：模式字符串“string”中的非标准文件模式字符/组件“string”

• 2473：文件模式字符串“string”不是合法的文件打开模式：string

• 2474：尝试刷新未开放写入的流

• 2475：尝试在输入操作后刷新流

• 2476：尝试对未打开供读取的流执行读取操作

• 2477：尝试对未打开进行写入的流执行写入操作

• 2478：尝试在写入后对流执行读取操作，而没有中间刷新或重新定位

• 2479：尝试在读取后对流执行写操作，而没有中间的重新定位

• 2480：尝试在宽流操作之后对流执行面向字节的操作

• 2481：尝试在字节流操作之后对流执行面向对象的操作

• 2498：比较type类型的成员符 的浮点值的对象表示形式可能会产生与值相等测试不同的意外结果

• 2499：比较type类型的浮点值的对象表示形式可能会产生与值相等测试不同的意外结果

• 2601：将自动变量符 的地址传递给功能符 的参数整数

• 2618：非类型说明符“字符串”出现在类型之后

• 2666：带有副作用的表达式传递给宏“字符串”的未扩展参数整数

• 2670：在信 处理程序类别符 中调用异步信 不安全功能符

• 2671：从异常信 处理程序符 返回

• 2761：调用信 处理程序类别符 中的非异步信 安全功能符

• 2762：调用信 处理程序类别符 中的信 注册功能符

• 2763：调用信 处理程序类别符 中的信 注册功能符 以进行自身注册

• 2764：异常信 处理程序符 未明确结束程序

• 2765：引用了在信 处理程序类别符 中既不是原子的也不是易挥发的sig_atomic_t的变量符

• 2960：整数常量表达式，值整数作为函数符 的参数整数提供

• 3419：类型为type的静态数据成员符 的类初始化程序是GNU扩展

• 9010：从整数type类型转换为指针type类型

• 9040：具有整数元素的详细成员符 的可能的结构hack声明

• 9181：开关包含少于两个非默认开关案例

• 9215：“虚拟/非虚拟”功能符 的未命名参数

• 9414：“typeid”用于具有副作用的表情

• 9415：使用“字符串”列表初始化来初始化“自动”变量符

• 9418：枚举符 没有明确指定的基础类型

• 9419：枚举符 不是作用域枚举

• 9420：位域符 没有无符 整数或显式无符 枚举类型

• 9421：虚拟功能符 会覆盖功能符 ，并且不会标记为“覆盖”或“最终”

• 9422：虚拟功能符 应完全指定“虚拟”、“替代”或“最终”之一

• 9432：类符 具有多个非接口基

• 9433：声明文字运算符功能符

• 9434：使用带有后缀字符串的用户定义文字

• 9435：字符串符 在类符 中声明为朋友

• 9436：符 symbol具有数组类型type

• 9437：使用“struct”关键字定义的非POD类符

• 9502：多语句宏“名称”未包含在单掌do-while循环中

想要购买PC-lint Plus正版授权，或了解更多产品信息请点击“咨询在线客服”

标签：