代码静态分析工具-splint的学习与使用[转]