]> andersk Git - splint.git/blame - test/help.expect
Tried to fix some problems with the configuration system.
[splint.git] / test / help.expect
CommitLineData
885824d3 1
2Source files are .c, .h and .lcl files. If there is no suffix,
3 LCLint will look for <file>.c and <file>.lcl.
4
5Use lclint -help <topic or flag name> for more information
6
7Topics:
8
9 annotations (describes source-code annotations)
10 comments (describes control comments)
11 flags (describes flag categories)
12 flags <category> (describes flags in category)
13 flags all (short description of all flags)
14 flags alpha (list all flags alphabetically)
15 flags full (full description of all flags)
16 mail (information on mailing lists)
17 modes (show mode settings)
18 parseerrors (help on handling parser errors)
19 prefixcodes (character codes in namespace prefixes)
20 references (sources for more information)
21 vars (environment variables)
22 version (information on compilation, maintainer)
23
24
25Cannot find standard library: ansi.lcd
26 Check LARCH_PATH environment variable.
27Continuing without LCL init file: lclinit.lci
28Continuing without LSL init file: lslinit.lsi
29Unable to find CTrait.syms or CTrait.lsl. Check LARCH_PATH environment
30variable.
31
32Source files are .c, .h and .lcl files. If there is no suffix,
33 LCLint will look for <file>.c and <file>.lcl.
34
35Use lclint -help <topic or flag name> for more information
36
37Topics:
38
39 annotations (describes source-code annotations)
40 comments (describes control comments)
41 flags (describes flag categories)
42 flags <category> (describes flags in category)
43 flags all (short description of all flags)
44 flags alpha (list all flags alphabetically)
45 flags full (full description of all flags)
46 mail (information on mailing lists)
47 modes (show mode settings)
48 parseerrors (help on handling parser errors)
49 prefixcodes (character codes in namespace prefixes)
50 references (sources for more information)
51 vars (environment variables)
52 version (information on compilation, maintainer)
53
54
15b3d2b2 55Command Line: Unrecognized option: asdf
56 A flag is not recognized or used in an incorrect way (-badflag will suppress
57 message)
885824d3 58
59
60Finished LCLint checking --- no code processed
61
62Warning: setting +boolint redundant with current value
63
64Finished LCLint checking --- no code processed
65
66 D<initializer>
67 I<directory>
68 S<directory>
69 U<initializer>
70 abstract
71 accessall
72 accessczech
73 accessczechoslovak
74 accessfile
75 accessmodule
76 accessslovak
77 aliasunique
78 allblock
79 allempty
80 allglobs
81 allimponly
82 allmacros
15b3d2b2 83 annotationerror
885824d3 84 ansilib
85 ansilimits
86 ansireserved
87 ansireservedinternal
15b3d2b2 88 arraybounds
89 arrayboundsread
8e349e11 90 arrayread
91 arraywrite
885824d3 92 assignexpose
93 badflag
94 bitwisesigned
885824d3 95 boolcompare
96 boolfalse
97 boolint
98 boolops
99 booltrue
100 booltype
101 branchstate
8e349e11 102 bufferoverflow
15b3d2b2 103 bufferoverflowhigh
104 bugslimit
885824d3 105 casebreak
106 castexpose
107 castfcnptr
108 charindex
109 charint
110 charintliteral
111 charunsignedchar
112 checkedglobalias
113 checkmodglobalias
15b3d2b2 114 checkpost
885824d3 115 checkstrictglobalias
116 checkstrictglobs
117 codeimponly
118 commentchar
15b3d2b2 119 commenterror
885824d3 120 compdef
121 compdestroy
122 compmempass
123 constmacros
124 constprefix
125 constprefixexclude
15b3d2b2 126 constraintlocation
885824d3 127 constuse
128 continuecomment
129 controlnestdepth
130 cppnames
131 czech
132 czechconsts
133 czechfcns
134 czechmacros
135 czechoslovak
136 czechoslovakconsts
137 czechoslovakfcns
138 czechoslovakmacros
139 czechoslovaktypes
140 czechoslovakvars
141 czechtypes
142 czechvars
15b3d2b2 143 debugfcnconstraint
885824d3 144 declundef
145 deepbreak
146 deparrays
147 dependenttrans
148 distinctexternalnames
149 distinctinternalnames
150 dump
151 duplicatequals
152 elseifcomplete
153 enumindex
154 enumint
155 enummembers
156 enummemuse
157 enumprefix
158 enumprefixexclude
159 evalorder
160 evalorderuncon
161 exitarg
162 expect
163 exportany
164 exportconst
165 exportfcn
166 exportheader
167 exportheadervar
168 exportiter
169 exportlocal
170 exportmacro
171 exporttype
172 exportvar
173 exposetrans
174 externalnamecaseinsensitive
175 externalnamelen
176 externalprefix
177 externalprefixexclude
178 f
8e349e11 179 fcnconstraint
885824d3 180 fcnderef
181 fcnmacros
8e349e11 182 fcnpost
885824d3 183 fcnuse
184 fielduse
15b3d2b2 185 fileextensions
885824d3 186 filestaticprefix
187 filestaticprefixexclude
188 firstcase
189 fixedformalarray
190 floatdouble
191 forblock
192 forcehints
193 forempty
194 formalarray
195 formatcode
15b3d2b2 196 formatconst
885824d3 197 formattype
198 forwarddecl
199 freshtrans
200 fullinitblock
201 globalias
202 globalprefix
203 globalprefixexclude
204 globimponly
205 globnoglobs
206 globs
207 globsimpmodsnothing
208 globstate
209 globuse
210 gnuextensions
211 hasyield
212 help
213 hints
214 i
215 ifblock
216 ifempty
217 ignorequals
218 ignoresigns
219 immediatetrans
220 impabstract
221 impcheckedglobs
222 impcheckedspecglobs
223 impcheckedstatics
224 impcheckedstrictglobs
225 impcheckedstrictspecglobs
226 impcheckedstrictstatics
227 impcheckmodglobs
228 impcheckmodinternals
229 impcheckmodspecglobs
230 impcheckmodstatics
231 impconj
15b3d2b2 232 implementationoptional
233 implictconstraint
885824d3 234 impouts
235 imptype
236 includenest
237 incompletetype
238 incondefs
239 incondefslib
15b3d2b2 240 indentspaces
885824d3 241 infloops
242 infloopsuncon
8fe44445 243 initallelements
244 initsize
885824d3 245 internalglobs
246 internalglobsnoglobs
247 internalnamecaseinsensitive
248 internalnamelen
249 internalnamelookalike
250 iterprefix
251 iterprefixexclude
15b3d2b2 252 its4low
253 its4moderate
254 its4mostrisky
255 its4risky
256 its4veryrisky
885824d3 257 keeptrans
258 kepttrans
259 larchpath
260 lclexpect
261 lclimportdir
262 lcs
263 lh
264 libmacros
265 likelybool
266 limit
267 linelen
268 lintcomments
269 load
270 localprefix
271 localprefixexclude
272 longintegral
273 longsignedintegral
274 longunsignedintegral
275 longunsignedunsignedintegral
276 loopexec
277 looploopbreak
278 looploopcontinue
279 loopswitchbreak
280 macroassign
281 macroconstdecl
282 macrodecl
283 macroempty
284 macrofcndecl
285 macromatchname
286 macroparams
287 macroparens
288 macroredef
289 macrostmt
290 macrounrecog
291 macrovarprefix
292 macrovarprefixexclude
293 maintype
294 matchanyintegral
295 matchfields
296 mayaliasunique
297 memchecks
298 memimp
299 memtrans
15b3d2b2 300 misplacedsharequal
885824d3 301 misscase
302 modfilesys
303 modglobs
304 modglobsnomods
305 modglobsunchecked
306 modinternalstrict
307 modnomods
308 modobserver
309 modobserveruncon
310 mods
311 modsimpnoglobs
312 modstrictglobsnomods
313 moduncon
314 modunconnomods
315 modunspec
15b3d2b2 316 mts
317 multithreaded
885824d3 318 mustdefine
319 mustfree
320 mustmod
321 mustnotalias
322 mutrep
323 namechecks
324 needspec
325 nestcomment
326 nestedextern
327 neverinclude
328 newdecl
329 newreftrans
330 nextlinemacros
331 noaccess
332 nocomments
333 noeffect
334 noeffectuncon
335 nof
336 nolib
337 noparams
338 noret
339 null
340 nullassign
341 nullderef
342 nullpass
343 nullptrarith
344 nullret
345 nullstate
8e349e11 346 nullterminated
347 nullterminated
885824d3 348 numenummembers
349 numliteral
350 numstructfields
351 observertrans
352 oldstyle
353 onlytrans
354 onlyunqglobaltrans
15b3d2b2 355 orconstraint
885824d3 356 overload
357 ownedtrans
358 paramimptemp
359 paramuse
15b3d2b2 360 parenconstraint
885824d3 361 parenfileformat
362 partial
363 passunknown
1d239d69 364 portability
885824d3 365 posixlib
366 posixstrictlib
367 predassign
368 predbool
369 predboolint
370 predboolothers
371 predboolptr
372 protoparammatch
373 protoparamname
374 protoparamprefix
375 protoparamprefixexclude
376 ptrarith
377 ptrcompare
378 ptrnegate
379 quiet
380 readonlystrings
381 readonlytrans
382 realcompare
383 redecl
384 redef
15b3d2b2 385 redundantsharequal
885824d3 386 refcounttrans
387 relaxquals
388 relaxtypes
389 repeatunrecog
390 repexpose
391 retalias
392 retexpose
393 retimponly
394 retval
395 retvalbool
396 retvalint
397 retvalother
398 sefparams
399 sefuncon
400 shadow
401 sharedtrans
402 shiftsigned
403 showallconjs
404 showalluses
405 showcolumn
406 showfunc
407 showscan
408 showsummary
409 singleinclude
410 sizeofformalarray
411 sizeoftype
412 skipansiheaders
413 skipposixheaders
414 skipsysheaders
415 slovak
416 slovakconsts
417 slovakfcns
418 slovakmacros
419 slovaktypes
420 slovakvars
421 specglobimponly
422 specimponly
423 specmacros
424 specretimponly
425 specstructimponly
426 specundecl
427 specundef
428 stackref
15b3d2b2 429 statemerge
430 statetransfer
885824d3 431 staticinittrans
432 statictrans
433 stats
434 strictbranchstate
435 strictdestroy
436 strictlib
437 strictops
438 strictusereleased
439 stringliterallen
8fe44445 440 stringliteralnoroom
441 stringliteralsmaller
442 stringliteraltoolong
885824d3 443 structimponly
444 supcounts
15b3d2b2 445 superuser
885824d3 446 switchloopbreak
447 switchswitchbreak
448 syntax
449 sysdirerrors
450 sysdirexpandmacros
451 sysdirs
452 sysunrecog
453 tagprefix
454 tagprefixexclude
455 temptrans
456 timedist
457 tmpcomments
458 tmpdir
15b3d2b2 459 toctou
885824d3 460 topuse
461 trytorecover
462 type
463 typeprefix
464 typeprefixexclude
465 typeuse
466 uncheckedglobalias
467 uncheckedmacroprefix
468 uncheckedmacroprefixexclude
469 uniondef
470 unixlib
1d239d69 471 unixstandard
885824d3 472 unixstrictlib
473 unqualifiedinittrans
474 unqualifiedtrans
475 unreachable
476 unrecog
477 unrecogcomments
15b3d2b2 478 unrecogflagcomments
1d239d69 479 unsignedcompare
885824d3 480 unusedspecial
481 usedef
482 usereleased
483 usestderr
484 usevarargs
485 varuse
486 voidabstract
487 warnflags
488 warnlintcomments
489 warnmissingglobs
490 warnmissingglobsnoglobs
491 warnposixheaders
492 warnunixlib
15b3d2b2 493 warnuse
885824d3 494 whichlib
495 whileblock
496 whileempty
cc78dedd 497 zerobool
885824d3 498
499
885824d3 500likelybool --- type name is probably a boolean type but does not match default
501boolean type name, "bool", and alternate name is not set
502impabstract --- assume user type definitions are abstract (unless
503/*@concrete@*/ is used)
504accessall --- set accessmodule, accessfile and accessczech
505accessmodule --- allow access to abstract types in definition module
506accessfile --- allow access to abstract types by file name convention
507accessczech --- allow access to abstract types by czech naming convention
508accessslovak --- allow access to abstract types by slovak naming convention
509accessczechoslovak --- allow access to abstract types by czechoslovak naming
510convention
511abstract --- data abstraction barriers
512mutrep --- representation of mutable type has sharing semantics
513globalias --- function returns with global aliasing external state (sets
514checkstrictglobalias, checkedglobalias, checkmodglobalias and
515uncheckedglobalias)
516checkstrictglobalias --- function returns with a checkstrict global aliasing
517external state
518checkedglobalias --- function returns with a checked global aliasing external
519state
520checkmodglobalias --- function returns with a checkmod global aliasing external
521state
522uncheckedglobalias --- function returns with an unchecked global aliasing
523external state
524aliasunique --- unique parameter is aliased
525mayaliasunique --- unique parameter may be aliased
526mustnotalias --- temp storage aliased at return point or scope exit
527retalias --- function returns alias to parameter or global
528noparams --- function declaration has no parameter list
529oldstyle --- old style function definition
530gnuextensions --- support some gnu (gcc) language extensions
531usevarargs --- non-standard <varargs.h> included
532warnposixheaders --- a POSIX header is included, but the POSIX library is not
533used
534exitarg --- argument to exit has implementation defined behavior
535evalorder --- code has unspecified or implementation-dependent behavior because
536of order of evaluation
537evalorderuncon --- code involving call to unspecified function has undefined or
538implementation-dependent behavior
539boolfalse --- set name of boolean false (default FALSE)
540booltype --- set name of boolean type (default bool)
541booltrue --- set name of boolean true (default TRUE)
542noaccess --- ignore access comments
543nocomments --- ignore all stylized comments
544unrecogcomments --- stylized comment is unrecognized
15b3d2b2 545unrecogflagcomments --- stylized flag comment uses an unrecognized flag
885824d3 546continuecomment --- line continuation marker (\) in comment before */ on same
547line
548nestcomment --- comment begins inside comment
549tmpcomments --- interpret t comments (ignore errors in lines marked with
550/*@t<n>@*/
551lintcomments --- interpret traditional lint comments (/*FALLTHROUGH*/,
552/*NOTREACHED*/)
553warnlintcomments --- print a warning and suggest an alternative when a
554traditional lint comment is used
555declundef --- function or variable declared but never defined
556specundef --- function or variable specified but never defined
557specundecl --- function or variable specified but never declared in a source
558file
559loopexec --- assume all loops execute at least once
560infloops --- likely infinite loop is detected
561infloopsuncon --- likely infinite loop is detected (may result from
562unconstrained function)
563deepbreak --- break inside nested while or for or switch
564looploopbreak --- break inside nested while or for
565switchloopbreak --- break in loop inside switch
566loopswitchbreak --- break in switch inside loop
567switchswitchbreak --- break in switch inside switch
568looploopcontinue --- continue inside nested loop
569unreachable --- unreachable code detected
570whileempty --- a while statement has no body
571whileblock --- the body of a while statement is not a block
572forempty --- a for statement has no body
573forblock --- the body of a for statement is not a block
574ifempty --- an if statement has no body
575ifblock --- the body of an if statement is not a block
576allempty --- an if, while or for statement has no body (sets ifempty,
577whileempty and forempty
578allblock --- the body of an if, while or for statement is not a block (sets
579ifblock, whileblock and forblock)
580elseifcomplete --- if ... else if chains must have final else
581noret --- path with no return detected in non-void function
582casebreak --- non-empty case in a switch without preceding break
583misscase --- switch on enum type missing case for some value
584firstcase --- first statement in switch is not a case
585shadow --- declaration reuses name visible in outer scope
586incondefslib --- function, variable or constant defined in a library is
587redefined with inconsistent type
588overload --- library function overloaded
589nestedextern --- an extern declaration is inside a function scope
590redecl --- function or variable redeclared
591redef --- function or variable redefined
592incondefs --- function, variable or constant redefined with inconsistent type
593imptype --- variable declaration has unknown (implicitly int) type
594matchfields --- struct or enum type redefined with inconsistent fields or
595members
596usedef --- use before definition
597impouts --- pointer parameters to unspecified functions may be implicit out
598parameters
599tmpdir --- set directory for writing temp files
600larchpath --- set path for searching for library files (overrides LARCH_PATH
601environment variable)
602lclimportdir --- set directory to search for LCL import files (overrides
603LCLIMPORTDIR)
604sysdirs --- set directories for system files (default /usr/include). Separate
15b3d2b2 605directories with path separator (colons in Unix, semi-colons in Windows). Flag
606settings propagate to files in a system directory. If -sysdirerrors is set, no
607errors are reported for files in system directories.
885824d3 608skipansiheaders --- prevent inclusion of header files in a system directory
609with names that match standard ANSI headers. The symbolic information in the
610standard library is used instead. Flag in effect only if a library including
611the ANSI library is loaded. The ANSI headers are:
612assert, ctype, errno, float, limits, locale, math, setjmp, signal, stdarg,
613stddef, stdio, stdlib, strings, string, time, and wchar.
614skipposixheaders --- prevent inclusion of header files in a system directory
615with names that match standard POSIX headers. The symbolic information in the
616posix library is used instead. The POSIX headers are:
617dirent, fcntl, grp, pwd, termios, sys/stat, sys/times, sys/types, sys/utsname,
618sys/wait, unistd, and utime.
619sysdirerrors --- report errors in files in system directories (set by -sysdirs)
620sysdirexpandmacros --- expand macros in system directories regardless of other
621settings, except for macros corresponding to names defined in a load library
622I<directory> --- add to C include path
623S<directory> --- add to spec path
624quiet --- suppress herald and error count
625usestderr --- send error messages to standard error (instead of standard out)
626showsummary --- show summary of all errors reported and suppressed
627showscan --- show file names are they are processed
628stats --- display lines processed and time
629timedist --- display time distribution
630showalluses --- show sorted list of uses of all globals
631noeffect --- statement with no effect
632noeffectuncon --- statement with no effect (except possibly through call to
633unconstrained function)
634exportany --- variable, function or type exported but not specified
635exportfcn --- function exported but not specified
636exportmacro --- expanded macro exported but not specified
637exporttype --- type definition exported but not specified
638exportvar --- variable exported but not specified
639exportconst --- constant exported but not specified
640exportiter --- constant exported but not specified
641repexpose --- abstract representation is exposed (sets assignexpose, retexpose,
642and castexpose)
643retexpose --- abstract representation is exposed (return values only)
644assignexpose --- abstract representation is exposed (assignments only)
645castexpose --- abstract representation is exposed through a cast
646linelen --- set length of messages (number of chars)
15b3d2b2 647indentspaces --- set number of spaces to indent sub-messages
885824d3 648showcolumn --- show column number where error is found
649parenfileformat --- show column number where error is found
650showfunc --- show name of function containing error
651showallconjs --- show all possible types
652impconj --- make all alternate types implicit (useful for making system
653libraries
654expect --- expect <int> code errors
655lclexpect --- expect <int> spec errors
656partial --- check as partial system (-specundef, -declundef, -exportlocal,
657don't check macros in headers without corresponding .c files)
658globs --- undocumented use of a checked global variable
659globuse --- global listed for a function not used
660internalglobs --- use of internalState
661internalglobsnoglobs --- use of internalState (in function with no globals
662list)
663warnmissingglobs --- global variable used in modifies clause is not listed in
664globals list
665warnmissingglobsnoglobs --- global variable used in modifies clause in a
666function with no globals list
667globnoglobs --- use of checked global in a function with no globals list or
668specification
669allglobs --- report use and modification errors for globals not annotated with
670unchecked
671checkstrictglobs --- report use and modification errors for checkedstrict
672globals
673impcheckedspecglobs --- assume checked qualifier for unqualified global
674declarations in .lcl files
675impcheckmodspecglobs --- assume checkmod qualifier for unqualified global
676declarations in .lcl files
677impcheckedstrictspecglobs --- assume checkmod qualifier for unqualified global
678declarations in .lcl files
679impcheckedglobs --- assume checked qualifier for unqualified global
680declarations
681impcheckmodglobs --- assume checkmod qualifier for unqualified global
682declarations
683impcheckedstrictglobs --- assume checkedstrict qualifier for unqualified global
684declarations
685impcheckedstatics --- assume checked qualifier for unqualified file static
686declarations
687impcheckmodstatics --- assume checkmod qualifier for unqualified file static
688declarations
689impcheckmodinternals --- assume checkmod qualifier for unqualified local static
690declarations (for internal state modifications)
691impcheckedstrictstatics --- assume checkedstrict qualifier for unqualified file
692static declarations
693modglobs --- undocumented modification of a checked global variable
694modglobsnomods --- undocumented modification of a checked global variable in a
695function declared with no modifies clause
696modstrictglobsnomods --- undocumented modification of a strict checked global
697variable in a function declared with no modifies clause
698modglobsunchecked --- undocumented modification of an unchecked checked global
699variable
700lh --- generate .lh files
701lcs --- generate .lcs files
702singleinclude --- optimize header inclusion to eliminate redundant includes
703neverinclude --- optimize header inclusion to not include any header files
704skipsysheaders --- do not include header files in system directories (set by
705-sysdirs)
706warnflags --- warn when command line sets flag to default value in mode
707warnunixlib --- warn when the unix library is used
15b3d2b2 708badflag --- warn about bad command line flags
885824d3 709forcehints --- provide hints for all errors reported
710help --- -help <flags> will describe flags
711hints --- provide hints on using lclint (hint only reported for first related
712error)
713retval --- return value ignored (sets retvalint, retvalbool and retvalother)
714retvalother --- return value of type other than bool or int ignored
cc78dedd 715retvalbool --- return value of manifest type bool ignored
885824d3 716retvalint --- return value of type int ignored
717f --- load options file (default ~/.lclintrc not loaded)
718i --- set LCL initilization file
719nof --- do not read options file
720needspec --- information in specifications is not also included in syntactic
721comments
722newdecl --- report new global declarations in source files
723hasyield --- iter declaration has no yield parameters
724dump --- save state for merging (default suffix .lcd)
725load --- load state from dump file (default suffix .lcd)
726nolib --- do not load standard library
727ansilib --- use ANSI (ISO) standard library
728strictlib --- interpret standard library strictly
729unixlib --- use UNIX (sort-of) standard library
730unixstrictlib --- use strict version of UNIX (sort-of) library
731posixlib --- use POSIX standard library
732posixstrictlib --- use strict POSIX standard library
733whichlib --- show standard library filename
15b3d2b2 734mts --- load meta state declaration and corresponding xh file
885824d3 735commentchar --- set marker character for syntactic comments (default is '@')
736allmacros --- sets fcnmacros and constmacros
737libmacros --- check all macros with declarations in library as functions
738specmacros --- check all macros corresponding to specified functions or
739constants
740fcnmacros --- check all macros with parameter lists as functions
741constmacros --- check all macros without parameter lists as constants
742macromatchname --- macro definition does not match iter or constant declaration
743nextlinemacros --- the line after a constant or iter declaration must be a
744macro definition
745macrostmt --- macro definition is syntactically not equivalent to function
746macroempty --- macro definition for is empty
747macroparams --- macro parameter not used exactly once
748macroassign --- assignment to a macro parameter
749sefparams --- a parameter with side-effects is passed as a sef parameter
750sefuncon --- a parameter with unconstrained side-effects is passed as a sef
751parameter
752macroparens --- macro parameter used without parentheses (in potentially
753dangerous context)
754macrodecl --- macro without prototype or specification (sets macrofcndecl and
755macroconstdecl)
756macrofcndecl --- parameterized macro without prototype or specification
757macroconstdecl --- non-parameterized macro without prototype or specification
758macroredef --- macro redefined
759macrounrecog --- unrecognized identifier in macro
760stackref --- external reference to stack-allocated storage is created
761usereleased --- storage used after release
762strictusereleased --- element used after it may have been released
763compdef --- parameter, return value or global completely defined
764compmempass --- actual parameter matches alias kind of formal parameter
765completely
766mustdefine --- out storage not defined before return or scope exit
767uniondef --- at least one field of a union must be defined
768memimp --- memory errors for unqualified storage
769paramimptemp --- assume unannotated parameter is temp
770allimponly --- sets globimponly, retimponly, structimponly, specglobimponly,
771specretimponly and specstructimponly
772codeimponly --- sets globimponly, retimponly and structimponly
773specimponly --- sets specglobimponly, specretimponly and specstructimponly
774globimponly --- assume unannotated global storage is only
775retimponly --- assume unannotated returned storage is only
776structimponly --- assume unannotated structure field is only
777specglobimponly --- assume unannotated global storage is only
778specretimponly --- assume unannotated returned storage is only
779specstructimponly --- assume unannotated structure field is only
780deparrays --- array elements are dependent storage
781compdestroy --- all only references derivable from void pointer out only
782parameter are released
783strictdestroy --- report complete destruction errors for array elements that
784may have been released
785mustfree --- only storage not released before return or scope exit
786branchstate --- storage has inconsistent states of alternate paths through a
787branch
788strictbranchstate --- storage through array fetch has inconsistent states of
789alternate paths through a branch
790memchecks --- sets all dynamic memory checking flags (memimplicit, mustfree,
791mustdefine, mustnotalias, null, memtrans)
792memtrans --- memory transfer errors (sets all *trans flags)
793exposetrans --- exposure transfer errors
794observertrans --- observer transfer errors
795dependenttrans --- dependent transfer errors
796newreftrans --- new reference transfer to reference counted reference
797onlytrans --- only storage transferred to non-only reference (memory leak)
798onlyunqglobaltrans --- only storage transferred to an unqualified global or
799static reference (memory leak)
800ownedtrans --- owned storage transferred to non-owned reference (memory leak)
801freshtrans --- fresh storage transferred to non-only reference (memory leak)
802sharedtrans --- shared storage transferred to non-shared reference
803temptrans --- temp storage transferred to non-temporary reference
804kepttrans --- kept storage transferred to non-temporary reference
805keeptrans --- keep storage transferred inconsistently
806immediatetrans --- an immediate address (result of &) is transferred
807inconsistently
808refcounttrans --- reference counted storage is transferred in an inconsistent
809way
810statictrans --- static storage is transferred in an inconsistent way
811unqualifiedtrans --- unqualified storage is transferred in an inconsistent way
812staticinittrans --- static storage is used as an initial value in an
813inconsistent way
814unqualifiedinittrans --- unqualified storage is used as an initial value in an
815inconsistent way
816readonlystrings --- string literals are read-only (error if one is modified or
817released)
818readonlytrans --- report memory transfer errors for initializations to
819read-only string literals
820passunknown --- passing a value as an un-annotated parameter clears its
821annotation
822mods --- unspecified modification of caller-visible state
823mustmod --- specified modification is not detected
824modobserver --- possible modification of observer storage
825modobserveruncon --- possible modification of observer storage through
826unconstrained call
827modinternalstrict --- possible modification of internal storage through
828function call
829modfilesys --- report undocumented file system modifications (applies to
830unspecified functions if modnomods is set)
831modunspec --- modification in unspecified functions (sets modnomods,
832modglobunspec and modstrictglobsunspec)
833modnomods --- modification in a function with no modifies clause
834moduncon --- possible modification through a call to an unconstrained function
835modunconnomods --- possible modification through a call to an unconstrained
836function in a function with no modifies clause
837globsimpmodsnothing --- functions declared with a globals list but no modifies
838clause are assumed to modify nothing
839modsimpnoglobs --- functions declared with a modifies clause but no globals
840list are assumed to use no globals
841namechecks --- controls name checking without changing other settings
842czech --- czech naming convention (sets accessczech, czechfunctions, czechvars,
843czechconstants, czechenums, and czechmacros)
844czechfcns --- czech naming convention violated in a function or iterator
845declaration
846czechvars --- czech naming convention violated in a variable declaration
847czechmacros --- czech naming convention violated in an expanded macro name
848czechconsts --- czech naming convention violated in a constant declaration
849czechtypes --- czech naming convention violated in a user-defined type
850definition
851slovak --- slovak naming convention violated
852slovakfcns --- slovak naming convention violated in a function or iterator
853declaration
854slovakmacros --- slovak naming convention violated in an expanded macro name
855slovakvars --- slovak naming convention violated in a variable declaration
856slovakconsts --- slovak naming convention violated in a constant declaration
857slovaktypes --- slovak naming convention violated in a use-defined type
858definition
859czechoslovak --- czech or slovak naming convention violated
860czechoslovakfcns --- czechoslovak naming convention violated in a function or
861iterator declaration
862czechoslovakmacros --- czechoslovak naming convention violated in an expanded
863macro name
864czechoslovakvars --- czechoslovak naming convention violated in a variable
865declaration
866czechoslovakconsts --- czechoslovak naming convention violated in a constant
867declaration
868czechoslovaktypes --- czechoslovak naming convention violated in a user-defined
869type definition
870ansireserved --- external name conflicts with name reserved for system or
871standard library
872cppnames --- external or internal name is a C++ keyword or reserved word
873ansireservedinternal --- internal name conflicts with name reserved for system
874or standard library
875distinctexternalnames --- external name is not distinguishable from another
876external name using the number of significant characters
877externalnamelen --- set the number of significant characters in an external
878name
879externalnamecaseinsensitive --- alphabetic comparisons for external names are
880case-insensitive
881distinctinternalnames --- internal name is not distinguishable from another
882internal name using the number of significant characters
883internalnamelen --- set the number of significant characters in an internal
884name
885internalnamecaseinsensitive --- set whether case is significant an internal
886names (-internalnamecaseinsensitive means case is significant)
887internalnamelookalike --- lookalike characters match in internal names
888macrovarprefix --- set namespace prefix for variables declared in a macro body
889macrovarprefixexclude --- the macrovarprefix may not be used for non-macro
890variables
891tagprefix --- set namespace prefix for struct, union and enum tags
892tagprefixexclude --- the tagprefix may not be used for non-tag identifiers
893enumprefix --- set namespace prefix for enum members
894enumprefixexclude --- the enumprefix may not be used for non-enum member
895identifiers
896filestaticprefix --- set namespace prefix for file static declarations
897filestaticprefixexclude --- the filestaticprefix may not be used for
898identifiers that are not file static
899globalprefix --- set namespace prefix for global variables
900globalprefixexclude --- the globalprefix may not be used for non-global
901identifiers
902typeprefix --- set namespace prefix for user-defined types
903typeprefixexclude --- the typeprefix may not be used for identifiers that are
904not type names
905externalprefix --- set namespace prefix for external identifiers
906externalprefixexclude --- the externalprefix may not be used for non-external
907identifiers
908localprefix --- set namespace prefix for local variables
909localprefixexclude --- the localprefix may not be used for non-local
910identifiers
911uncheckedmacroprefix --- set namespace prefix for unchecked macros
912uncheckedmacroprefixexclude --- the uncheckmacroprefix may not be used for
913identifiers that are not unchecked macros
914constprefix --- set namespace prefix for constants
915constprefixexclude --- the constprefix may not be used for non-constant
916identifiers
917iterprefix --- set namespace prefix for iterators
918iterprefixexclude --- the iterprefix may not be used for non-iter identifiers
919protoparamprefix --- set namespace prefix for parameters in function prototype
920declarations
921protoparamname --- a parameter in a function prototype has a name
922protoparammatch --- the name of a parameter in a function prototype and
923corresponding declaration must match (after removing the protoparamprefix
924protoparamprefixexclude --- the protoparamprefix may not be used for
925non-declaraction parameter identifiers
926controlnestdepth --- set maximum nesting depth of compound statements,
927iteration control structures, and selection control structures (ANSI minimum is
92815)
929stringliterallen --- set maximum length of string literals (ANSI minimum is
930509)
931numstructfields --- set maximum number of fields in a struct or union (ANSI
932minimum is 127)
933numenummembers --- set maximum number of members of an enum (ANSI minimum is
934127)
935includenest --- set maximum number of nested #include files
936ansilimits --- check for violations of standard limits (controlnestdepth,
937stringliterallen, includenest, numstructfields, numenummembers)
938null --- misuses of null pointer
8e349e11 939nullterminated --- misuse of nullterminated allocation
8e349e11 940arrayread --- possible out of bounds read
941arraywrite --- possible buffer overflow from an out of bounds write
942fcnpost --- Function has the post condition
15b3d2b2 943parenconstraint --- parenthesize constraint term
944debugfcnconstraint --- debuging constraint flas
945arraybounds --- Possible out-of-bounds store. Unable to resolve constraint:
946arrayboundsread --- Possible out-of-bounds read. Unable to resolve constraint:
8e349e11 947fcnconstraint --- unresolved constraint
15b3d2b2 948checkpost --- unable to verify ensures annotation
949constraintlocation --- display full c expression for every constraint generated
950implictconstraint --- Try to generate implicit constraints for functions
951orconstraint --- Use limited OR expressions to resolve constraints
8e349e11 952nullterminated --- misuse of nullterminated allocation
885824d3 953nullderef --- possible dereferencce of null pointer
954fcnderef --- dereferencce of a function type
955nullpass --- possibly null pointer passed as formal with no null annotation
956nullret --- possibly null pointer returned as result with no null annotation
957nullstate --- possibly null pointer reachable from a reference with no null
958annotation
959nullassign --- inconsistent assignment or initialization involving null pointer
960boolcompare --- comparison between bools (dangerous because of multiple TRUE
961values)
962realcompare --- dangerous comparison between reals (dangerous because of
963inexact floating point representations)
1d239d69 964unsignedcompare --- comparison using <, <=, >= between an unsigned integral and
965zero constant
885824d3 966ptrarith --- arithmetic involving pointer and integer
967nullptrarith --- arithmetic involving possibly null pointer and integer
968ptrcompare --- comparison between pointer and number
969strictops --- primitive operation does not type check strictly
970bitwisesigned --- a bitwise logical operator does not have unsigned operands
971shiftsigned --- a shift operator does not have unsigned operands
972boolops --- primitive operation (!, && or ||) does not has a boolean argument
973ptrnegate --- allow ! to be used on pointer operand
974sizeoftype --- sizeof operator has a type argument
975sizeofformalarray --- sizeof operator has an array formal parameter argument
976fixedformalarray --- formal parameter of type array is declared with size
977incompletetype --- formal parameter has an incomplete type
978formalarray --- formal parameter is an array
979predassign --- condition test (if, while or for) is an assignment
980predbool --- type of condition test (if, while or for) not bool (sets
981predboolint, predboolptr and predboolothers)
982predboolint --- type of condition test (if, while or for) is an integral type
983predboolothers --- type of condition test (if, while or for) not bool, int or
984pointer
985predboolptr --- type of condition test (if, while or for) is a pointer
986D<initializer> --- passed to pre-processor
987U<initializer> --- passed to pre-processor
988globstate --- returns with global in inconsistent state (null or undefined)
989supcounts --- The number of errors detected does not match number in
990/*@i<n>@*/.
991limit --- limit <int> consecutive repeated errors
992syntax --- syntax error in parsing
993trytorecover --- try to recover from parse error
994type --- type mismatch
995fullinitblock --- initializer sets all fields
8fe44445 996initallelements --- initializer defines all array elements
997initsize --- initializer defines extra array elements
998stringliteraltoolong --- string literal too long for character array
999stringliteralnoroom --- string literal leaves no room for null terminator
1000stringliteralsmaller --- string literal is smaller than the char array it is
1001assigned to
885824d3 1002enummembers --- enum members must be int values
1003maintype --- type of main does not match expected type
1004formattype --- type-mismatch in parameter corresponding to format code in a
1005printf or scanf-like function
15b3d2b2 1006formatconst --- format parameter is not a string constant (hence variable
1007arguments cannot be typechecked)
885824d3 1008formatcode --- invalid format code in format string for printf or scanf-like
1009function
1010forwarddecl --- forward declarations of pointers to abstract representation
1011match abstract type
1012voidabstract --- void * matches pointers to abstract types, casting ok
1013(dangerous)
1014castfcnptr --- a pointer to a function is cast to a pointer to void (or vice
1015versa)
1016charindex --- char can be used to index arrays
1017enumindex --- enum can be used to index arrays
1018boolint --- bool and int are equivalent
1019charint --- char and int are equivalent
1020enumint --- enum and int are equivalent
1021floatdouble --- float and double are equivalent
1022ignorequals --- ignore type qualifiers (long, short, unsigned)
1023duplicatequals --- report duplicate type qualifiers (e.g., long long)
1024ignoresigns --- ignore signs in type comparisons (unsigned matches signed)
1025numliteral --- int literals can be reals
1026charintliteral --- character constants (e.g., 'a') can be used as ints
1027relaxquals --- report qualifier mismatches only if dangerous
1028relaxtypes --- allow all numeric types to match
1029charunsignedchar --- allow char and unsigned char types to match
1030matchanyintegral --- allow any intergral type to match an arbitrary integral
1031type (e.g., dev_t)
1032longunsignedintegral --- allow long unsigned type to match an arbitrary
1033integral type (e.g., dev_t)
1034longintegral --- allow long type to match an arbitrary integral type (e.g.,
1035dev_t)
1036longunsignedunsignedintegral --- allow long unsigned type to match an arbitrary
1037unsigned integral type (e.g., size_t)
1038longsignedintegral --- allow long type to match an arbitrary signed integral
1039type (e.g., ssize_t)
1040zeroptr --- 0 is treated as a pointer
cc78dedd 1041zerobool --- 0 is treated as a boolean
885824d3 1042repeatunrecog --- do not suppress repeated unrecognized identifier messages
1043(instead of only reporting the first error)
1044sysunrecog --- report unrecognized identifiers with system (__) prefix
1045unrecog --- unrecognized identifier
1046topuse --- declaration at top level not used
1047exportlocal --- a declaration is exported but not used outside this module
1048exportheader --- a declaration is exported but does not appear in a header file
1049exportheadervar --- a variable declaration is exported but does not appear in a
1050header file
1051fielduse --- field of structure type not used
1052enummemuse --- member of an enum type not used
1053constuse --- constant declared but not used
1054fcnuse --- function declared but not used
1055paramuse --- function parameter not used
1056typeuse --- type declared but not used
1057varuse --- variable declared but not used
1058unusedspecial --- unused declaration in special file (corresponding to .l or .y
1059file)
15b3d2b2 1060redundantsharequal --- declaration uses observer qualifier that is always true
1061misplacedsharequal --- declaration of unsharable storage uses sharing
1062annotation
1063annotationerror --- annotation is used in inconsistent location
1064commenterror --- inconsistent syntactic comment
1065bugslimit --- set maximum number of bugs detected before giving up
1066fileextensions --- warn when command line file does not have a recognized
1067extension
1068warnuse --- warn when declaration marked with warn is used
1069statetransfer --- storage has been transfered with invalid state
1070statemerge --- control paths merge with storage in incompatible states
1071its4mostrisky --- most risky security vulnerabilities (from its4 database)
1072its4veryrisky --- very risky security vulnerabilities (from its4 database)
1073its4risky --- risky security vulnerabilities (from its4 database)
1074its4moderate --- moderately risky security vulnerabilities (from its4 database)
1075its4low --- risky security vulnerabilities (from its4 database)
1076bufferoverflowhigh --- likely buffer overflow vulnerability
1077bufferoverflow --- possible buffer overflow vulnerability
1078toctou --- possible time of check, time of use vulnerability
1079multithreaded --- function is not reentrant
1d239d69 1080portability --- function may have undefined behavior
1081unixstandard --- function is not required in Standard UNIX Specification
15b3d2b2 1082superuser --- function is restricted to superusers
1083implementationoptional --- declarator is implementation optional (ISO99 does
1084not require an implementation to provide it)
885824d3 1085
This page took 0.190981 seconds and 5 git commands to generate.