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.
version (information on compilation, maintainer)
-
-Command Line: Unrecognized option: asdf
+Command Line: Unrecognized option: -asdf
A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
warning)
Finished checking --- no code processed
-Warning: setting +boolint redundant with current value
-
+Command Line: Setting +boolint redundant with current value
Finished checking --- no code processed
D<initializer>
S<directory>
U<initializer>
abstract
+ abstractcompare
accessall
accessczech
accessczechoslovak
allglobs
allimponly
allmacros
+ allocmismatch
alwaysexits
annotationerror
ansi89limits
booltrue
booltype
bounds
+ boundscompacterrormessages
boundsread
boundswrite
branchstate
bufferoverflowhigh
bugslimit
casebreak
+ caseinsensitivefilenames
castexpose
castfcnptr
charindex
continuecomment
controlnestdepth
cppnames
+ csv
+ csvoverwrite
czech
czechconsts
czechfcns
duplicatecases
duplicatequals
elseifcomplete
- emptyreturn
+ emptyret
enumindex
enumint
enummembers
enummemuse
enumprefix
enumprefixexclude
+ errorstream
+ errorstreamstderr
+ errorstreamstdout
evalorder
evalorderuncon
exitarg
hasyield
help
hints
+ htmlfileformat
i
ifblock
ifempty
ignoresigns
immediatetrans
impabstract
+ impboundsconstraints
impcheckedglobs
impcheckedspecglobs
impcheckedstatics
impcheckmodstatics
impconj
implementationoptional
- implictconstraint
impouts
imptype
includenest
lh
libmacros
likelybool
+ likelybounds
+ likelyboundsread
+ likelyboundswrite
limit
linelen
lintcomments
load
localprefix
localprefixexclude
+ locindentspaces
+ longint
longintegral
longsignedintegral
longunsignedintegral
loopswitchbreak
macroassign
macroconstdecl
+ macroconstdistance
macrodecl
macroempty
macrofcndecl
macroparams
macroparens
macroredef
- macroreturn
+ macroret
macrostmt
macrounrecog
macrovarprefix
memchecks
memimp
memtrans
+ messagestream
+ messagestreamstderr
+ messagestreamstdout
misplacedsharequal
misscase
modfilesys
null
nullassign
nullderef
+ nullinit
nullpass
nullptrarith
nullret
nullstate
nullterminated
- nullterminated
+ numabstract
+ numabstractcast
+ numabstractindex
+ numabstractlit
+ numabstractprint
numenummembers
numliteral
numstructfields
readonlystrings
readonlytrans
realcompare
+ realrelatecompare
redecl
redef
redundantconstraints
sharedtrans
shiftimplementation
shiftnegative
+ shortint
showallconjs
showalluses
showcolumn
showconstraintlocation
showconstraintparens
+ showdeephistory
showfunc
+ showloadloc
showscan
showsourceloc
showsummary
singleinclude
sizeofformalarray
sizeoftype
- skipansiheaders
+ skipisoheaders
skipposixheaders
skipsysheaders
slashslashcomment
staticinittrans
statictrans
stats
+ streamoverwrite
strictbranchstate
strictdestroy
strictlib
unusedspecial
usedef
usereleased
- usestderr
usevarargs
varuse
voidabstract
warnflags
+ warningstream
+ warningstreamstderr
+ warningstreamstdout
warnlintcomments
warnmissingglobs
warnmissingglobsnoglobs
whileempty
whileloopexec
zerobool
-