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