Splint

Splint

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

网站:

特征

分类目录

BSD版Splint的替代品

Coverity Scan

Coverity Scan

Coverity Scan Static Analysis允许免费查找和修复Java，C / C ++或C＃开源项目中的缺陷。