胸无半点墨、鸡毛满天飞chenzerbo.blog.chinaunix.net
chenzerbo
全部博文（16）
2014年（1）
2013年（7）
2012年（8）
Nicoleji
khls27
lxifa
铁匠明空
hanwei_1
gxhp1987
weichang
kissbaby
wk40015
godymoon
发布时间：2012-06-14 09:20:23
一.splint介绍splint是一个静态检查C语言程序安全弱点和编写错误的工具。splint会进行多种常规检查,包括未使用的变量,类型不一致,使用未定义变量,无法执行的代码,忽略返回值,执行路径未返回,无限循环等错误。同时通过在源码中添加注记给出的附加信息，使其可以进行功能更加强大的检查。而注记，则是对.........【阅读全文】
登录 注册
