About Lint

Created2020-03-07|Updated2020-03-07

|Post Views:

lint 或者 linter是一种静态程序分析工具

这里的静态是指在不运行程序的情况下检查代码潜在的问题
最早在Unix平台上开发用于检查C语言程序的
后来被其他的语言借鉴形成了各种各样的lint工具，以提升代码的健壮性

splint 是现在的 linux上的lint工具安装方法如下

1	# apt-get install -y splint

splint 从哪里知道的？

来自《C专家编程》中的某个章节

简单用法

// func.c
int func(int /*@unused@*/a,char **b)
{
    return 0;
}

1	$ splint func.c

会输出警告信息

详细用法可以参考

1	man splint

Author: wang shaodong

Link: http://linuxmint17.github.io/2020/03/07/about-lint/

Copyright Notice: All articles on this blog are licensed under CC BY-NC-SA 4.0 unless otherwise stated.

Related Articles

sizeof 的误解，sizeof 不是函数(function)，是运算符(operator)　　函数在程序运行的时候起作用，运算符求出来的大小是在编译时就确定下来的常见的sizeof操作对结构体类型求大小 1234567891011typedef struct { char a; int b; char *ptr; double c; char name[19];} Demo;// 结构体的实际所占用内存大小，需要内存对齐，按照4byte或者8byte对齐，// 对齐的原则整体大小能被4整除，而且每个成员的地址偏移都是4的整数倍std::cout << sizeof(Demo) << std::endl; 对联合体求大小 1234567891011#include<stdio.h>// 联合体的大小是能够容纳最大的成员的大小, 还要考虑一下四字节对齐typedef union { int a[3]; char b[8] ;} data;int main(){...

C++ 曾经被叫做C With class, C++ 是兼容C的，并不是100%兼容 C++ 中的C子集是C++的一部分，C语言中允许的东西到C++中可能会不允许全局变量初始化: C语言中只能使用 constant初始化全局变量 C++可以通过函数初始化123456789101112131415#include <stdio.h>int init(){ printf("inside init func\n"); return 100;}int global_int = init(); // 此语句cpp文件能够编译执行，c文件编译失败int main(){ printf("Hello world\n"); printf("global_int= %d\n", global_int); return 0;} C++的C子集是更好的C，将C中的一些不严格的编译检查，变得相对更严格C++ 编译器编译之后函数的 mangling na...

位运算、原码、反码、补码

位运算的地位　以下内容摘自《枕边算法书》感觉对于位运算描述的很形象　　对于程序员来说,”位” 相当于现实世界中构成水和空气的粒子。编程世界的所有东西都会从位开始，以位结束。刚步入编程世界的初学者看到整数就是整数，看到字符串就是字符串。但功力深厚的程序员眼中无论整数还是字符串，它们都是位。　　与系统编程不同，一般应用程序的编程对位运算的要求并不高。即使如此，很少有程序员不懂位运算，因为在不懂位运算的情况下编程写程序，就像在现实世界中不呼吸、不喝水一样，几乎不可能。位运算的类型运算符含义 & 按位与:全1才1,否则都0 | 按位或:有1得1,全0才0 ^ 按位异或:相异为真,相同为假 >> 右移:对于有符号数的右移分为算术右移和逻辑右移 << 左移:比较简单不论是否有符号整数 ~ 取反:每个位1变0,0变1 对于正整数而言，左移1位就是x2,右移就是除2 下图来自《Computer Systems - A Programmer’s Perspective》算术右移:直接右移n位,...

About inline function

inline 是C99/C++的关键字之一，目的是取代函数式宏，函数式宏没有类型内联函数 vs 函数式宏（待考证，可能有谬误）编译中的差别：内联函数在编译时在调用函数中内敛只是是一种建议(像regester 一样),不一定被编译器采纳(The inline specification is only a request to the compiler. The compiler maychoose to ignore this request – – C++ primer)，如果内敛函数很复杂(循环嵌套比较多)，或者包含静态变量等情况就无法内敛就无法被编译器当做是内联函数函数式宏在预处理阶段被文本替换，在预处理阶段必然被替换二进制的区别：函数式宏如果被使用多次代码区增大内联函数如果被使用多次代码区域没有显著增大运行时的差别：函数式宏，不是函数，在运行时没有体现内联函数，几乎没有函数参数传递的开销不同编译器对 inline 的支持 clang挖坑 gcc挖坑

About preprocess

预处理是C/C++ 编译过程中的第一个环节, 处理以#开头的文本行比如免费版和付费版的功能多少的条件编译实现代码对于不同平台的兼容，或者对相同平台的不同版本进行兼容宏的作用常见的就是简单的文本替换功能，实现函数的替换，DEBUG版本加打印，release 版本不加打印12345678910111213141516171819202122232425262728// 此代码来自 Learn C the hard way 一书#ifndef __dbg_h__#define __dbg_h__#include <stdio.h>#include <errno.h>#include <string.h>#ifdef NDEBUG#define debug(M, ...)#else#define debug(M, ...) fprintf(stderr, "DEBUG %s:%d: " M "\n", __FILE__, __LINE__, ##__VA_ARGS__)#endif#define...

namespace (命名空间) 是C++的一个关键字　　不同的命名空间中相同的标识符在编译的时候不会产生错误　　在不同的命名空间中可以使用相同名字的变量或者函数名称 C 语言的标识符也有命名空间（内容来自 C语言规范草案 6.2.3 节) label names标签名包括 goto 语句中用到的标签和 switch case中的标签 the tags name of structures, unions and enumurations结构、联合、枚举的tag名 the members of structures or unions; each structure or union has a seperate name space for its number;结构体、联合的成员名 all other identifiers,called ordinary identifiers (declared in ordinary declarators or asenumeration constants)其他普通的变量，或者枚举常量 C++中使用namesapce ...