version (information on compilation, maintainer)
-Finished checking --- no code processed
+Cannot find standard library: standard.lcd
+ Check LARCH_PATH environment variable.
+Continuing without LCL init file: lclinit.lci
+Continuing without LSL init file: lslinit.lsi
+Unable to find CTrait.syms or CTrait.lsl. Check LARCH_PATH environment
+variable.
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
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
legacy
lh
libmacros
+ likely-boundsread
+ likely-boundswrite
likelybool
+ likelybounds
limit
linelen
lintcomments
load
localprefix
localprefixexclude
+ locindentspaces
+ longint
longintegral
longsignedintegral
longunsignedintegral
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
sharedtrans
shiftimplementation
shiftnegative
+ shortint
showallconjs
showalluses
showcolumn
showconstraintlocation
showconstraintparens
+ showdeephistory
showfunc
+ showloadloc
showscan
showsourceloc
showsummary
staticinittrans
statictrans
stats
+ streamoverwrite
strictbranchstate
strictdestroy
strictlib
unusedspecial
usedef
usereleased
- usestderr
usevarargs
varuse
voidabstract
warnflags
+ warningstream
+ warningstreamstderr
+ warningstreamstdout
warnlintcomments
warnmissingglobs
warnmissingglobsnoglobs
whileempty
whileloopexec
zerobool
-