代码静态分析工具PCLint, Splint

一、PCLint

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

二、Splint

1、在PC-Linux上安装
①make error undefined reference toyywrap'`

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

int yywrap()
{
        return 1;
}

REFER: Splint介绍
REFER: splint的安装与使用

参考：

---

1、Splint主页

转载于:https://www.cnblogs.com/xuanyuanchen/p/5852359.html