splint选项介绍

以下选项缺省已经打开，如果想关闭，在前面加-

nullderef 解引用空指针

nullpass 向函数传递空指针

nullstate

nullassign 赋值空指针

nullret 返回空指针

varuse 定义的变量需要使用

fcnuse 定义或声明的函数需要使用

usedef 使用初始化的变量

paramuse 使用函数参数

exportlocal 导出本地变量

casebreak case语句应该包含break

predboolint 条件判断的类型是整形