C相关程序： BLAST（Berkeley Lazy Abstraction Software verification Tool）——基于惰性抽象的C程序软件模型检查器。 Clang —— 包含静态分析器的编译器。 Frama-C —— 用于C语言的静态分析框架。 Sparse —— 旨在发现Linux内核中错误的工具。 Splint —— Lint（C语言）的开源进化版本。 C语言静态代码分析工具列表（比上面的列表更多）
有一个名为Splint的开源程序： Splint是一个用于静态检查C程序中安全漏洞和编码错误的工具。只需要最少的努力，Splint就可以作为更好的lint使用。如果额外投入精力向程序添加注释，Splint可以进行比任何标准lint更强的检查。
