C程序的检查程序-Lint.pdfVIP

I8 ·技术专题 · 《中国计算机用户》l99]．11 C程序的检查程序——1int 中国科学院软件研究所 董美婷 lint是用 于检查 C源程序的程序。对于程序 中 un【main-cadd 0 存在的、所引起编译或运行时错误的错误和含混 不 会产生一些 消息，它们描述了程序中的不一致 清的地方 ，它均提出警告 lint不但可对 C程序中复 性和无教性 。lint程序要求C的类型规则比C编译 杂类型进行检查 ，还可接受多个输入文件和库说明， 程序更为严格。而命令 且对它们怍一致性检查 。]int与C编译程序不同。由 lint Pmain．cadd．c 于C编泽程序不能复杂的类型检查 (特别是对分别 除了产生上述消息外．还产生一些有关把程序移擅 编译的程牟)．因此它能够快速而有效地将 C程序 到别的操作系统和机器上的消息。若用一h代替一P，则 转换成可执行文件 ；而 lint不对程序进行编译 ，只是 产生有关各种易出错的或者浪费的结构的消息，而 较全面且从容地对程序作检查，且更为仔细地着眼 这些结构严格地说不算错 。若使用_hp，可得到这两 f相容性 部分 的消息 lint程序可检查 的c情况为 ； 下面我们将详细描述 C程序 中各种 情况 的主 · 未使用的函数和变量 要消息，且讨论 lint的实现 ，最后的附录部分将列出 · 局部变量的未知值 [int命令 中任选参数一览表。 · 不可到达的语句和无穷循环 二 、原 理 · 未使用的或误用的返回值≠ · 不一致的类型和类型强制转换i lint所需要的许 多论据可能是不台被发现 的。 · 类型不匹配 的赋值 如 ：程序 中给定的一个函数被调用可能依赖于所输 · 不可移植和陈旧的语法 入的数据 决定是否调用了exit等价于解决著名的 · 奇怪 的构造 ； 停机 问题 ；即循环的不可预知性。因而，lint多数算 · 不一致的指针对齐和表达式求值顺序。 法采取了折衷方案 即如果一个函数从未提到 ，那就 不能被调用，反之就可被调用。不一定非要如此，但 一 、 用 法 实际上它是很舍理的 我们可通过在 sh~li命令行中健入 lint名来弓用『 lint试图 以高度贴切的方式给出消息。形如 ： “ lnit 其命令形式为： … … ×××可能是错误 的消息锟易生成，但只能 】，nt(option …… Jfi~enamc… Iib… 在与实际显现的错误成正比的情况下才能被接受 。 其 中，option是定义 lint如何工作 的命令选项 。 如果这部分的实际错误报 小．给 出的消息就失去了 fi[ename是要检查的C源程序，Im是要检查的库名 。 确切性 ，从而只会搞乱输 出，混淆较为重要的消息 。 在命令行 中，可给出多个选项，文件名和库名。假定 因此 ，我们在考虑 由lnit所产生 的下面各类消 有两个 C源程序 mani．c和 add．c，对这两个文件按