Ubuntu下安装splint工具

最近编译原理需要使用到splint工具，windows下安装后配置比较复杂，并且还容易出错闪退。
因此我用linux系统来安装。
看了一些用linux安装的教程，发现大部分是既复杂又有错误，很浪费时间，最后发现这就是一句话的事情。
打开终端输入：

sudo apt install splint

然后OK了：

然后测试一下，先写个c文件

调用splint静态编译：

可以看到splint对代码中的变量进行了分析