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