到底需不需要编译器之外的独立的静态代码检查工具呢？这个问题’仁者见仁，智者见智’。但是有一个结论我想大家都会认可，那就是越是在开发周期早期发现的Bug，修复它所付出的代价就越小。而像lint这样的静态代码检查程序恰恰是让Bug在早期阶段’显露原型’的绝佳工具，而追求’lint-clean’[注1]境界的代码也向来是专家级程序员的嗜好。别忘了在’C专家编程’一书中曾经提到Sun OS的内核一直是保持’lint-clean’状态的，这就是榜样！还等什么？赶快学呀！^_^

有人抱怨’不敢用lint工具, 太多的Warnings把快屏幕都淹没了!’，不过高手一般不这么想，他会细心琢磨这些Warnings背后的’暗示’，并和lint工具沟通，利用lint工具提供的交互方法屏蔽掉一些经过分析认为不能成为错误的Warnings。久而久之，高手本身就成了一个lint程序，就能够很快的用肉眼发现代码中的问题，并指出问题所在，如何解决！他还能告知如何嵌入一些Annotations从而避免让lint程序产生不必要的Warnings，这时这位高手对语言和程序的理解就又提高了一个档次了。其实使用ling工具不仅仅是为了提早发现程序中的Bug，其使用过程有助于你加深对程序的认识和理解。的确事实就是这样。

Splint就是一款强大而且应用广泛的开源lint工具。它的强大的代码检查能力固然让人称道，但是让我更欣赏的却是它提供的’Annotations’机制。Splint可以让程序员在自己的代码中嵌入相应的Anotations，这些Anotations作为Splint分析代码时的输入以帮助Splint产生对程序员更有用的信息。下面是一些Splint的使用入门，更多详细信息请查看’Splint manual‘。

1、最简单的Splint使用方法
>> splint *.c

2、Splint输出Warnings的基本格式
<file>:<line>[,<column>]: message
     [hint]
      <file>:<line>,<column>: extra location information, if appropriate
我们可以使用’+/-<flags>’来自定义其输出格式，如’splint -showcol *c’，则Splint不会在输出信息中显示’列’信息。

3、使用flags控制splint的检查范围和输出格式
‘+<flag>’ — 表明某个flag处于打开状态，如’+unixlib’；
‘-<flag>’ — 表明某个flag处于关闭状态，如’-weak’；

4、使用.splintrc环境文件
如果不想每次使用splint的时候都手工输入一堆’+/-<flags>’，那么你可以把这些’+/-<flags>’预先写到.splintrc文件中，当splint执行的时候它会自动加上这些flags的。默认的flags设置在’~/splintrc’文件中，但是如果一旦splint的当前工作路径下也有.splintrc文件，那么这个.splintrc文件中的flag设置会覆盖’~/splintrc’中的flags设置，但是命令行中的flags设置是具备最高优先级的，它会覆盖前面提到的任何一个文件中的flags设置。

5、使用Annotations
对于’Annotations’的作用，Java程序员并不陌生，但是C程序员则对这个不是那么了解。C代码中的Annotations用来指导Splint生成恰当的代码检查报告。下面这个例子对比使用和不使用Annotations，Splint的输出的差别：
/* testlint.c */
void foo1() {
        /*@unused@*/int *p = NULL;
}

void foo2() {
        int *p = NULL;
}

splint testlint.c
Splint 3.1.1 — 28 Apr 2003

testlint.c: (in function foo2)
testlint.c:6:7: Variable p declared but not used
  A variable is declared but never used. Use /*@unused@*/ in front of
  declaration to suppress message. (Use -varuse to inhibit warning)

Finished checking — 1 code warning

可以看出没使用Annotation的函数foo2被给出Warning了。Splint的Annotations繁多，我们在平时做lint时可以多多接触。

‘早用lint，勤用lint’，这是C专家给我们的建议。’lint-clean’也许离你并不遥远。

[注1]
‘lint-clean’ — 程序能够顺利通过lint程序的检查。

我想最近最忙的应该是各大网络书店了，一本本好书真是如'雨后春笋'般出现在各大书店的'书架'上，这也让我们这些做程序员的过了把书瘾！还等什么呢，掏钱包，把书抱回家读吧，都是经典！下面一一道来。^_^

首当其冲的就是'Unix编程艺术'，又名'TAOUP'，它也是最先于年后上市的一本经典好书。我上周购了一本，只是由于最近项目紧，还没来得及看，书的质量没的说，至于译者的翻译么，由于还没仔细看呢，所以不便评价。感觉这本书对那些Unix下编程的初学者可能帮助不大，但是对于已经有多年Unix下大型系统设计的人来说，看这本书的过程其实也是一个总结自身经验的过程。书中涉及Unix系统设计的方方面面，绝对是大师级人物Eric S. Raymond的经验之谈。

万众期待的'代码大全'第二版也已经出炉，大家都说好，不过说实话，我还没看过，但我想总不能'空穴来风'吧，估计肯定有它值得称道的地方。如果周末有空一定买来瞧瞧。

'深入理解Linux内核'第三版英文版终于和大家见面了，我也是今天才在'互动出版网'看到的，真该感谢东南大学出版社，要知道这本书的第二版已经绝版了。我相信对于想学习Linux内核的朋友这是一本必备的好书。

我是于前两天才听说'Write Great Code'这本书的，那还是在公司内网上讨论'代码大全'第二版好与坏的时候一位同事提出来的，昨天就在'ITPUB'上看到并下载了此书，共两卷。浏览了一下第一卷'Understanding the machine'，觉得是本不错的书，内容类似于名著'深入理解计算机系统', 甚至有些东西讲解的比后者更加详细和透彻。今天无意间在'第二书店'上发现一本叫'编程卓越之道，第一卷，深入理解计算机'的书，直觉告诉我它们是同一本书，打开页面后，果然不出所料，又是'博文视点'联系出版的书，牛！赞！

其他的诸如'Head First Design Pattern'、'C++ Primer 4th'等书也已经上市，经典书这么多，我们要做的就是找时间好好拜读！