代码静态分析工具PCLint, Splint

一、PCLint###

REFER: 代码静态检查工具PC-Lint运用实践

二、Splint###

1、在PC-Linux上安装

①make error undefined reference to yywrap'`

修改文件cscanner.c，在其中添加下面的代码：

int yywrap()

{

        return 1;

}

REFER: Splint介绍

REFER: splint的安装与使用

参考：###

---

1、Splint主页