Splint 是一个用来静态检测 C 程序安全漏洞的小工具。
splint是一个开源的静态代码检测工具,用于动态检查C语言程序安全弱点和编写错误的程序。splint会进行多种常规检查,包括未使用的变量,类型不一致,使用未定义变量,无法执行的代码,忽略返回值,执行路径未返回,无限循环等错误。它以大师级的眼光来审阅你的代码,Splint只能检测标准C代码。
‘lint-clean’ – 程序能够顺利通过lint程序的检查。这是微软的编码要求。