文件名称：Splint_Manual-V3.1.1-1_200306
文件大小：533KB
文件格式：PDF
更新时间：2014-01-23 16:33:35
用于C语言的静态代码检查工具
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.