PC-LINT错误码详细解析与处理指南

PC-lint

需积分: 5 41 浏览量更新于2024-06-14 收藏 603KB DOC 举报

身份认证购VIP最低享 7 折!

30元优惠券

"PC-lint 是一款静态代码分析工具，用于检查 C 和 C++ 代码中的潜在错误和不良编程习惯。此工具通过分析代码并发出各种级别的错误、警告和提示，帮助开发者提升代码质量。PC-lint 错误码大全列出了所有可能的错误和警告代码，便于用户理解和解决问题。在 PC-lint 中，错误信息与特定的错误号相关联，这些错误号按照不同的错误类型和严重性进行了区间划分。以下是主要的错误号区间及其含义： 1. **语法错误** (1-199 对应 C，1001-1199 对应 C++)：这类错误通常涉及违反了编程语言的语法规则。例如： - 错误1-1：未关闭的注释 - 在文件结束时仍有一个未关闭的注释。 - 错误2-2：未关闭的引号 - 行尾存在未关闭的引号。 - 错误3-3：#else 没有匹配的 #if - #else 前缺少相应的 #if、#ifdef 或 #ifndef。 2. **内部错误** (200-299)：这些是 PC-lint 内部的问题，通常不应该出现，如果发生了，可能需要更新工具或报告给支持团队。 3. **致命错误** (300-399)：这类错误非常严重，表明代码无法正确编译或运行，例如，过度的预处理指令嵌套可能导致堆栈溢出。 4. **告警** (400-699 对应 C，1400-1699 对应 C++)：告警通常是代码风格或潜在问题，虽然不影响编译，但建议进行修正。例如，过多的 #if 嵌套可能导致难以理解的代码。 5. **提示信息** (700-899 对应 C，1700-1899 对应 C++)：这些信息是关于代码可能的改进点，不一定是错误，但有助于优化代码。 6. **可选的注解** (900-999 对应 C，1900-1999 对应 C++)：这部分错误号可能用于特定的注解或工具配置。每个错误或警告都会提供详细的信息，如错误的位置、原因和可能的解决方案。例如，错误7-7表示无法打开包含的文件，可能需要检查路径设置或文件存在性。错误8-8表示 #if 语句没有匹配的 #endif，需要检查预处理指令的配对。 PC-lint 的用户可以通过调整选项（如 flagfdi、-i 或其他选项）和环境变量（如 INCLUDE）来定制工具的行为，以适应特定的开发需求和项目规范。此外，对于特定的错误，开发者应根据错误消息提供的信息进行代码审查，修复语法错误，避免不适当的预处理指令使用，并遵循良好的编程实践，以提高代码质量和可维护性。了解 PC-lint 错误码大全对于有效使用 PC-lint 进行代码审查和优化至关重要，它可以帮助开发者快速识别和解决代码中的问题，从而提高软件的质量和可靠性。"

资源详情

资源推荐

1.5.20 －420－对此函数'Symbol'进行数组操作数据写溢出，参数 Integer 超过参数

Integer 引用

这个信息是对几个库函数(例如fwrite、memcmp等等)发布的，在其中有一些明显地试图

访问比现存的更多数据。例如：如果在fwrite 调用中确定的数据长度超过确定的数据的

大小。函数通过Symbol 确定，参数通过参数号标识。见章节10.1 函数模仿和章节

10.2.1 可能的模仿

1.5.21 －421－注意：－－函数“Symbol”被认为很危险

这个信息默认的对内置函数gets发布。这个函数被认为危险，因为没有机制保证第一个

参数提供的缓冲将不会溢出。一个知名的计算机病毒(学术上叫蠕虫) 就是基于这个缺陷

创建的。提供选项 -function , 用户可以指出其它函数是危险的。

1.5.22 －422－传递负数参数给函数参数为正数的函数

这个信息包含函数名称 (Symbol), 可疑的值(Integer) 和参数号 (Context)。这个函数可

能是一个标准库函数设计为仅仅接受正值，例如 malloc 或 memcpy (第三个参数), 或者

是通过用户使用-function 或 -sem 选项标识的函数。负值可能事实上是 unsigned。因此：

void *malloc( unsigned );

void f()

{

int n = -1;

int *p;

p = malloc(n); // Warning 422

p = malloc( (unsigned) n ); // Warning 422

}

注意转换表达式并不能抑制告警。在执行上有一个轻微的区别在32位系统和16位系统。

如果 long 和 int

的大小相同 (在32位系统中) ，告警基于符号位发布。如果 long 比 int (在16位系统中)

大，在上面的例子中如果这个值被转换为负值发布这个告警。如果一个 unsigned int 有

high-order 位设置，将不会发布告警，因为不是不合理的要 malloc 多于 32,176 字节在

一个16位系统中。

1.5.23 －423－在变量' Symbol'赋值时出现内存泄漏

分配给一个指针变量，这个指针变量保留有一个分配的目标的地址，还没有释放。分配

的内存没有释放，被认为是一个内存泄漏。

1.5.24 －424－不恰当动态内存释放方法

这个信息指示存储单元分配(free(), delete, 或 delete[]) 被不适当的数据被释放。数据的种

类是一个或多个：malloc, new, new[], static, auto,member, modified 或 constant。这些有

下列描述的含义：

Malloc data――数据从调用函数 malloc、calloc 或 realloc获得；

new 和 new[]data ―― 从调用函数 new 中导出的数据；

Static data ――或者一个函数内的或外部的 static 数据；

auto data―― 在函数呢内的一个非静态数据；

Member data ――是结构的一部分 (因此不能被独立释放)；

modified data ――是应用指针计算到其它一些指针的结果，例如：

p = malloc(100);

free( p+1 ); // warning

p+1 被认为是modified.

constant data――是转换一个常量到一个指针的结果，例如：

int *p = (int *) Ox80002;

free(p); // warning

1.5.25 －425－在处理(-sem)选项包含的语义字符串出错

当处理一个语义选项(-sem)时，发生语法错误，此时发布这个告警。'Message' 依赖于

错误。第一个 'String' 表示被处理的部分语义，第二个'String' 表示错误第一次被注意

到时正被扫描的记号。

1.5.26 －426－在某处调用了违背该函数(-sem)选项包含的语义字符串检查出错。

当一个用户语义 (通过选项 –sem定义) 被触犯时发布这个信息。 'String' 是被触犯的

语义的部分。例如：

//lint -sem( f, 1n > 10 && 2n > 10 )

void f( int, int );

...

f( 2, 20 );

导致结果：

Call to function 'f(int, int)' violates semantic '(1n>10)'

1.5.27 －427－// 注释不能以\形式换行

1.5.28 －428－在操作符'String'中有负值下标 (Integer)

一个负值的整型被加入到一个数组或一个指针指向分配的区域 (通过 malloc, operator

new, 等等分配.) 。可以是一个部分下标操作或部分指针计算操作。操作符在String.指出，

整型值通过Integer给出。

1.5.29 －429－托管指针没有释放或者没有返回，可能造成内存泄漏

一个 auto 存储类的指针被分配内存，或者没有释放或者没有返回给调用者。这代表一

个内存泄漏。如果一个指针唯一地指向一个存储区，它被认为是保管的。如果它被复制，

它就不被认为是保管的，因此：

int *p = new int[20]; // p is a custodial pointer

int *q = p; // p is no longer custodial

p = new int[20]; // p again becomes custodial

q = p + 0; // p remains custodial

这里 p 没有丢失它的保管特性，仅仅参见一个数学计算操作。一个指针通过传递指针

给一个函数可以丢失它的保管特性。如果函数的参数是指针指向const的类型或如果这个

函数是一个库函数，那个假定不成立。例如

p = malloc(10);

strcpy (p, "hello");

那么 p 仍旧有存储分配的保管。可能通过语义选项指出一个函数将有指针的保管，见：

custodial(i) 在章节10.2.1可能的语义

1.5.30 －430－提示'@'字符是非标准 C/C++语法

很多对嵌入式系统的编译器有一个声明语法，确定一个位置作为对一个变量的初始值。

例如：

int x @0x2000;

确定变量 x 实际位置于 0x2000。这个信息提醒这种语法是非标准的 (尽管非常普遍)。

1.5.31 －432－ Malloc 函数参数可疑

检测到下列模式：

malloc( strlen(e+1) )

这里 e 是一些表达式。这是可疑的因为它接近通常的使用模式：

malloc( strlen(e)+1 )

如果你有意使用第一种模式，那么一个相等的表达式将解除这个错误：

malloc( strlen(e)-1 )

1.5.32 －433－分配内存的数目小于指向它的指针应该拥有的数目

这通常发生在库分配函数上，例如malloc 和 calloc。例子：

int *p = malloc(1);

这个信息也支持用户声明分配函数。例如，如果一个用户拥有的分配函数被提供下列的

语义：

-sem(ouralloc,@P==malloc(1n))

我们将报告同样的信息。请注意必须指出返回的区域是新分配的。这个信息通常和826

一起给出。

1.5.33 －434－符号“\”与新行之间有空格

按照 C 和 C++的标准，任何右斜线紧跟一个换行，例如：

#define A \

定义 A 为 34。如果一个空格或 tab键介于右斜线和新行之间，那么按照标准的严格解

释，你将定义A 为一个右斜线，但是这个空格对于裸眼是不可见的，因此或导致混淆。

如果你实在需要定义一个宏为右斜线，可以使用一个注释，例如：

#define A \ /* commentary */

1.5.34 －435－整型常量 'String'数值太大，建议检查 fll 标志选项，是否需要打开，以

达到 long long 类型范围。

一个整型常量被发现精度超过 long 但是适合 long long，然而 +fll 标志将激活 long long

类型。检查对 long (-sl#) 和对 long long (-sll#) 确定的大小，确保它们是正确的。如果

你的编译器支持 long long打开 +fll，否则使用小点的常量。

1.5.35 －436－在此处的宏调用语句中使用预处理指令

类似与宏语句的函数，其参数扩展到多行，还包含预处理语句。这经常会存在缺少右括

号错误。

按照标准c，预处理包含在宏参中，会导致不能连续被执行。因此，某些编译器把这个指令

认为是预处理器指令。这符合逻辑，但移植时困难。最好在代码中避开这种构造方法。

1.5.36 －437－传结构体参数给函数的省略符（...）参数

一个结构被传递给函数的一个参数，位置通过省略号标识。例如：

void g()

{

struct A { int a; } x;

void f( int, ... );

f( 1, x );

...

}

这是十分不寻常的，值得指出因为可能不是故意这样的。

1.5.37 －501－期望是有符号类型

一元的减操作符被应用于无符号类型。结果值是一个正的无符号量，可能不是有意的。

1.5.38 －502－期望是无符号类型

一元 ~ 操作符是一个位操作符将更逻辑上被应用于无符号量，而不是有符号量。

1.5.39 －503－建议关系操作表达式中不要用 boolean 参数

通常一个关系操作符不应该有一个boolean参数，一个例子是 a < b < c, 技术上是合法的，

但是不会产生同样的数学表达式结果。

1.5.40 －504－异常移位值

移位通过一个不寻常的方式，例如：一个位方式的逻辑操作符、一个否操作符、一个没

有括号的表达式。如果移位值是一个没有括号的组合的表达式，那么加上括号。

1.5.41 －505－逗号操作符左参数冗余

逗号操作符的左参数在它的top-most 操作符中没有副作用，因此是多于的。

1.5.42 －506－常量值布尔

一个布尔，也就是说，发现在一个上下文中的一个量需要一个布尔，例如：&& 、 || 、

if()、 while() 子句、 ! 的参数被发现是一个常量，因此将每次同样计算。

1.5.43 －507－类型存储大小不匹配

按照给出的其它信息和从一个指针转换一个整型量，或应用它不合适。例如，转换一个

unsigned int ，并通过信息提供的信息指示一个指针没有一个 int 大。

1.5.44 －508－使用 extern 符号对函数进行定义

extern 通常用于声明，而不是定义。

1.5.45 －509－使用 extern 符号对符号进行定义

这在ANSI标准的技术上是合法的，你可以抑制这个信息。但是，它很容易使编译器失

败，因此这个实践这时是不被建议的。

1.5.46 －511－存储类型大小不兼容

从一个指针转换一个整型量，这个量的大小对于指针是不合适的。例如，如果一个 long

被转换到一个指针，如果选项指示 long 比指针大，这个告警将报告。

1.5.47 －512－该符号在其它模块已经声明为静态类型

给出的Symbol 名称是函数名称。在一个模块内和另一个模块外使用名称为 static ，是

合法的但是缺省可疑的。

1.5.48 －514－ Boolean 非法使用

算术操作符 (+ - / * %) 的一个参数或一个位逻辑操作符的一个参数 (| & ^)是一个

Boolean。这通常偶然发生，如：

if( flags & 4 == 0 )

这里的 ==，比& 有高优先级，首先执行。

1.5.49 －515－函数调用时，传递的参数个数与该函数定义的参数个数不一致

函数调用中提供的实参的个数和它的定义中的形参的个数或其它函数调用中实参的个

数不一致。见 +fva 选项来选择性的一致这个信息。

1.5.50 －516－函数调用时，传递的参数类型与该函数定义的参数类型不一致

调用一个函数中的实参的类型和或者相应的函数定义中形参的类型或者调用相同函数

的另一个实参的类型或者函数原型中确定的参数的类型不一致。调用不是在函数原型中。

见选项 -ean, -eau, -eas and -eai 在章节5.2错误抑制选项，对一些不同类型区别选择性抑

制如果冲突涉及类型char 或 short ，那么你可能希望考虑使用+fxc 或 +fxs 选项(章节5.5

标志选项)

1.5.51 －517－没有定义 K&R

定义的函数 (不是一个 K&R 结构) 被使用，而且 K&R 预处理标志 (+fkp) 被设置。

或者不要设置这个标志，或者不要定义。

1.5.52 －518－期望有一个符号“(”　

sizeof 类型不是严格 C. sizeof(type)或 izeof 表达式都是被允许的

1.5.53 －519－类型大小不兼容

试图转换两个不同大小的指针。

1.5.54 －520－期望有 void 类型、赋值、++、――

for 子句的第一个表达式应该或者是一个表达式产生的 void 类型，或者是一个有特权的

操作符之一：赋值、递增、递减。请参见信息 522。

1.5.55 －521－期望有 void 类型、赋值、++、――

for 子句的第三个表达式应该或者是一个表达式产生的 void 类型，或者是一个有特权的

操作符之一：赋值、递增、递减。请参见信息 522。

1.5.56 －522－期望有 void 类型、赋值、++、――

如果一个语句只是由一个表达式组成，它应该或者是一个表达式产生的 void 类型，或

者是一个有特权的操作符之一：赋值、递增、递减。注意：语句 *p++; 发布这个信息，

但是 p++; 没有。这个信息经常给出在这种情况下：一个函数通过一个指针调用，但是

返回值不是 void。在这种情况下，我们建议转换到void。如果你的编译器不支持 void

类型，那么你一个使用 -fvo 选项。

1.5.57 －524－类型转换时出现精度丢失

从浮点型到整型的量的转换可能出现出现丢失部分内容。

1.5.58 －525－从当前位置消极缩排

从指示行发现当前行被消极缩排(例如，没有足够地缩排)。后面的相应子句引入的控制

结构和语句和其它控制子句和它的范围内的括号被期望有少点的缩排。如果你的程序中

的tab的值不是8个空格，你可以使用-t 选项 (见章节11.3缩排检查).

1.5.59 －526－符号“Symbol”没有定义

外部的名称被引用，但是没有被定义，而且没有程序在任何库头文件中，或者出现在库

剩余100页未读，继续阅读

吼哈哟

粉丝: 516
资源: 3

PC-LINT错误码详细解析与处理指南

PClint错码大全

PClint错误码大全.doc

PClint错误码大全要点a477d6PClint错误码大全要点

PC-Lint错误码完全指南

PC-LINT错误码详解：从1到199

PC-LINT错误码完全参考指南

PC_LINT错误码详细解析

利用Lint工具检测C++代码中的常见问题

pclint错误码大全

pclint集成到source insight的方法及用法

pclint告警426号

pc-lint plus 使用教程

exceeds argument 2 (size=1) pc_lint

verilog lint

报错 vue-cli-service lint

vue-cli-service build和vue-cli-service lint

vscode代码规范化插件

idea 显示右边代码插件

.eslintrc.js » F:\apiPlatform\yhapi-front\node_modules\@umijs\lint\dist\config\eslint\index.js: Environment key "es2022" is unknown

最新资源