介绍一个静态代码检查的工具给大家 -- SPLint。 这是一个开源的工具，主要用于学术，但是也被应用。 同时有Windows和Linux版本。 URL：http://www.splint.org/-介绍一个静态代码检查的工具给大家-- SPLint。 这是一个开源的工具，主要用于学术，但是也被应用。 同时有Windows和Linux版本。 URL：http://www.splint.org/

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