version (information on compilation, maintainer)
-Finished checking --- no code processed
-
Source files are .c, .h and .lcl files. If there is no suffix,
Splint will look for <file>.c and <file>.lcl.
allglobs
allimponly
allmacros
+ allocmismatch
alwaysexits
annotationerror
ansi89limits
ignoresigns
immediatetrans
impabstract
+ impboundsconstraints
impcheckedglobs
impcheckedspecglobs
impcheckedstatics
impcheckmodstatics
impconj
implementationoptional
- implictconstraint
impouts
imptype
includenest
legacy
lh
libmacros
- likely-boundsread
- likely-boundswrite
likelybool
likelybounds
+ likelyboundsread
+ likelyboundswrite
limit
linelen
lintcomments
loopswitchbreak
macroassign
macroconstdecl
+ macroconstdistance
macrodecl
macroempty
macrofcndecl
macroparams
macroparens
macroredef
- macroreturn
+ macroret
macrostmt
macrounrecog
macrovarprefix
nullret
nullstate
nullterminated
- nullterminated
numabstract
numabstractcast
numabstractindex
readonlystrings
readonlytrans
realcompare
+ realrelatecompare
redecl
redef
redundantconstraints