Ubuntu中C代码静态检查工具Splint的安装配置和使用 分类： Linux C/C++ 2013-01-25 17:48 478人阅读 评论(0) 收藏 举报 1、  从http://www.splint.org/download.html下载splint-3.1.2.src.tgz，存放到/home/spring/Splint文件夹下； 2、  打开终端

1. 静态分析工具 VS 编译器       编译器负责把C源程序快速、高效地转变为可执行文件，不对代码做类型检查（特别是对分别编译的程序），有益于做到快速与高效。       Lint没有“高效”的要求，可以花更多时间对代码进行更深入、仔细的检查。 2. C代码静态分析工具 Its4 读取一个或多个 C/C++源程序，将每个源程序分割成函数标志流，然后检查生成的标志是否存在于漏洞数据