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