代码静态分析工具——splint的学习与使用 代码静态分析工具——splint的学习与使用