学期过了一半了，这数学还是没感觉，怎么办啊？现在已经是红色警戒了。这个星期应付了英语后，马上就得处理这个棘手的问题。
多年以来，我一直在寻找一个合适的C检测工具，作为传统lint程序的替代品。splint是目标之一，这几天进行了下了解，然而问题多多：
splint目前只在linux平台下使用，当然这问题不大，因为splint是开源的，必要时可以容易的移植到其他平台下，从而保证统一的代码风格。
splint的主要问题是，它的注释，我实在无法接受！使用它的注释确实可以解决很多潜在的问题，但同时也破坏了我的C程序风格，失去了原本应有的规整和简洁。
pc-lint，这是个功能强大的商业程序，pass。
lint，回归传统。当初只所以要替换lint，就是因为在linux平台没有lint，虽然我的硬盘上还装有一份SCO OpenServer(上面有lint)，但已经好多年没用了，不知还能不能运行起来。况且SCO已经是上世纪的产物，实在是太老了！
为什么现在又想起了这个老朋友呢，是因为这段时间在看BSD，发现上面有lint，这就解决了SCO老化的问题。而且BSD有源代码，需要的话将来可以将其移植到linux下，代价应该不会太大。退一步讲，即使在BSD上做开发，也是完全OK的！
传统lint可能功能上比新生代的替代品要弱一些，但毕竟这只是个工具，不可能依赖某个工具来解决所有程序的潜在问题，最关键的因素还是人，我需要lint是因为它可以帮我，但我不能因此依赖它。
使用传统lint的话，我现有的代码基本都不用修改，由于相对熟悉，上手也容易得多。
综合考虑，决定还是使用BSD上的传统lint，放弃splint。或者考虑把splint作为第二工具，也用它检测程序，但不用它的注释。看两者同时使用，能不能获得好的效果。
