Linux下的代码检查工具，splint，跟pclint一样，是非常优秀的代码检查工具。 里面是例子。-Linux under the code-checking tools, splint, with the pclint, is a very good code review tool. There is an example.