Splint

Splint是用于静态检查C程序是否存在安全漏洞和编码错误的工具。用最少的力气，夹板可以用作更好的皮棉。

Splint是用于静态检查C程序是否存在安全漏洞和编码错误的工具。用最少的力气，夹板可以用作更好的皮棉。如果花费额外的精力在程序上添加注释，则Splint可以执行比任何标准皮棉都更强大的检查。

具有开源许可证的Linux版Splint的替代方案