]>
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 | ||
885824d3 | 25 | Source files are .c, .h and .lcl files. If there is no suffix, |
11db3170 | 26 | Splint will look for <file>.c and <file>.lcl. |
885824d3 | 27 | |
11db3170 | 28 | Use splint -help <topic or flag name> for more information |
885824d3 | 29 | |
30 | Topics: | |
31 | ||
32 | annotations (describes source-code annotations) | |
33 | comments (describes control comments) | |
34 | flags (describes flag categories) | |
35 | flags <category> (describes flags in category) | |
36 | flags all (short description of all flags) | |
37 | flags alpha (list all flags alphabetically) | |
38 | flags full (full description of all flags) | |
39 | mail (information on mailing lists) | |
40 | modes (show mode settings) | |
41 | parseerrors (help on handling parser errors) | |
42 | prefixcodes (character codes in namespace prefixes) | |
43 | references (sources for more information) | |
44 | vars (environment variables) | |
45 | version (information on compilation, maintainer) | |
46 | ||
47 | ||
4fab1d8a | 48 | Command Line: Unrecognized option: -asdf |
2e127cb8 | 49 | A flag is not recognized or used in an incorrect way (Use -badflag to inhibit |
50 | warning) | |
885824d3 | 51 | |
11db3170 | 52 | Finished checking --- no code processed |
885824d3 | 53 | |
4fab1d8a | 54 | Command Line: Setting +boolint redundant with current value |
11db3170 | 55 | Finished checking --- no code processed |
885824d3 | 56 | |
57 | D<initializer> | |
58 | I<directory> | |
59 | S<directory> | |
60 | U<initializer> | |
61 | abstract | |
4fab1d8a | 62 | abstractcompare |
885824d3 | 63 | accessall |
64 | accessczech | |
65 | accessczechoslovak | |
66 | accessfile | |
67 | accessmodule | |
68 | accessslovak | |
69 | aliasunique | |
70 | allblock | |
71 | allempty | |
72 | allglobs | |
73 | allimponly | |
74 | allmacros | |
bb7c2085 | 75 | alwaysexits |
15b3d2b2 | 76 | annotationerror |
27c9e640 | 77 | ansi89limits |
885824d3 | 78 | assignexpose |
79 | badflag | |
80 | bitwisesigned | |
885824d3 | 81 | boolcompare |
82 | boolfalse | |
83 | boolint | |
84 | boolops | |
85 | booltrue | |
86 | booltype | |
bb7c2085 | 87 | bounds |
7c39a167 | 88 | boundscompacterrormessages |
bb7c2085 | 89 | boundsread |
90 | boundswrite | |
885824d3 | 91 | branchstate |
8e349e11 | 92 | bufferoverflow |
15b3d2b2 | 93 | bufferoverflowhigh |
94 | bugslimit | |
885824d3 | 95 | casebreak |
4fab1d8a | 96 | caseinsensitivefilenames |
885824d3 | 97 | castexpose |
98 | castfcnptr | |
99 | charindex | |
100 | charint | |
101 | charintliteral | |
102 | charunsignedchar | |
103 | checkedglobalias | |
104 | checkmodglobalias | |
15b3d2b2 | 105 | checkpost |
885824d3 | 106 | checkstrictglobalias |
107 | checkstrictglobs | |
108 | codeimponly | |
109 | commentchar | |
15b3d2b2 | 110 | commenterror |
885824d3 | 111 | compdef |
112 | compdestroy | |
113 | compmempass | |
114 | constmacros | |
115 | constprefix | |
116 | constprefixexclude | |
117 | constuse | |
118 | continuecomment | |
119 | controlnestdepth | |
120 | cppnames | |
4fab1d8a | 121 | csv |
122 | csvoverwrite | |
885824d3 | 123 | czech |
124 | czechconsts | |
125 | czechfcns | |
126 | czechmacros | |
127 | czechoslovak | |
128 | czechoslovakconsts | |
129 | czechoslovakfcns | |
130 | czechoslovakmacros | |
131 | czechoslovaktypes | |
132 | czechoslovakvars | |
133 | czechtypes | |
134 | czechvars | |
15b3d2b2 | 135 | debugfcnconstraint |
885824d3 | 136 | declundef |
137 | deepbreak | |
138 | deparrays | |
139 | dependenttrans | |
140 | distinctexternalnames | |
141 | distinctinternalnames | |
142 | dump | |
bb7c2085 | 143 | duplicatecases |
885824d3 | 144 | duplicatequals |
145 | elseifcomplete | |
4fab1d8a | 146 | emptyret |
885824d3 | 147 | enumindex |
148 | enumint | |
149 | enummembers | |
150 | enummemuse | |
151 | enumprefix | |
152 | enumprefixexclude | |
4fab1d8a | 153 | errorstream |
154 | errorstreamstderr | |
155 | errorstreamstdout | |
885824d3 | 156 | evalorder |
157 | evalorderuncon | |
158 | exitarg | |
159 | expect | |
160 | exportany | |
161 | exportconst | |
162 | exportfcn | |
163 | exportheader | |
164 | exportheadervar | |
165 | exportiter | |
166 | exportlocal | |
167 | exportmacro | |
168 | exporttype | |
169 | exportvar | |
170 | exposetrans | |
171 | externalnamecaseinsensitive | |
172 | externalnamelen | |
173 | externalprefix | |
174 | externalprefixexclude | |
175 | f | |
176 | fcnderef | |
177 | fcnmacros | |
8e349e11 | 178 | fcnpost |
885824d3 | 179 | fcnuse |
180 | fielduse | |
15b3d2b2 | 181 | fileextensions |
885824d3 | 182 | filestaticprefix |
183 | filestaticprefixexclude | |
184 | firstcase | |
185 | fixedformalarray | |
186 | floatdouble | |
187 | forblock | |
188 | forcehints | |
189 | forempty | |
3e3ec469 | 190 | forloopexec |
885824d3 | 191 | formalarray |
192 | formatcode | |
15b3d2b2 | 193 | formatconst |
885824d3 | 194 | formattype |
195 | forwarddecl | |
196 | freshtrans | |
197 | fullinitblock | |
198 | globalias | |
199 | globalprefix | |
200 | globalprefixexclude | |
201 | globimponly | |
202 | globnoglobs | |
203 | globs | |
204 | globsimpmodsnothing | |
205 | globstate | |
206 | globuse | |
207 | gnuextensions | |
bb7c2085 | 208 | grammar |
885824d3 | 209 | hasyield |
210 | help | |
211 | hints | |
4fab1d8a | 212 | htmlfileformat |
885824d3 | 213 | i |
214 | ifblock | |
215 | ifempty | |
216 | ignorequals | |
217 | ignoresigns | |
218 | immediatetrans | |
219 | impabstract | |
220 | impcheckedglobs | |
221 | impcheckedspecglobs | |
222 | impcheckedstatics | |
223 | impcheckedstrictglobs | |
224 | impcheckedstrictspecglobs | |
225 | impcheckedstrictstatics | |
226 | impcheckmodglobs | |
227 | impcheckmodinternals | |
228 | impcheckmodspecglobs | |
229 | impcheckmodstatics | |
230 | impconj | |
15b3d2b2 | 231 | implementationoptional |
232 | implictconstraint | |
885824d3 | 233 | impouts |
234 | imptype | |
235 | includenest | |
236 | incompletetype | |
237 | incondefs | |
238 | incondefslib | |
15b3d2b2 | 239 | indentspaces |
885824d3 | 240 | infloops |
241 | infloopsuncon | |
8fe44445 | 242 | initallelements |
243 | initsize | |
885824d3 | 244 | internalglobs |
245 | internalglobsnoglobs | |
246 | internalnamecaseinsensitive | |
247 | internalnamelen | |
248 | internalnamelookalike | |
27c9e640 | 249 | iso99limits |
250 | isolib | |
251 | isoreserved | |
252 | isoreservedinternal | |
bb7c2085 | 253 | iterbalance |
3e3ec469 | 254 | iterloopexec |
885824d3 | 255 | iterprefix |
256 | iterprefixexclude | |
bb7c2085 | 257 | iteryield |
15b3d2b2 | 258 | its4low |
259 | its4moderate | |
260 | its4mostrisky | |
261 | its4risky | |
262 | its4veryrisky | |
bb7c2085 | 263 | keep |
885824d3 | 264 | keeptrans |
265 | kepttrans | |
266 | larchpath | |
267 | lclexpect | |
268 | lclimportdir | |
269 | lcs | |
79127b5d | 270 | legacy |
885824d3 | 271 | lh |
272 | libmacros | |
4fab1d8a | 273 | likely-boundsread |
274 | likely-boundswrite | |
885824d3 | 275 | likelybool |
4fab1d8a | 276 | likelybounds |
885824d3 | 277 | limit |
278 | linelen | |
279 | lintcomments | |
280 | load | |
281 | localprefix | |
282 | localprefixexclude | |
4fab1d8a | 283 | locindentspaces |
284 | longint | |
885824d3 | 285 | longintegral |
286 | longsignedintegral | |
287 | longunsignedintegral | |
288 | longunsignedunsignedintegral | |
289 | loopexec | |
290 | looploopbreak | |
291 | looploopcontinue | |
292 | loopswitchbreak | |
293 | macroassign | |
294 | macroconstdecl | |
295 | macrodecl | |
296 | macroempty | |
297 | macrofcndecl | |
298 | macromatchname | |
299 | macroparams | |
300 | macroparens | |
301 | macroredef | |
bb7c2085 | 302 | macroreturn |
885824d3 | 303 | macrostmt |
304 | macrounrecog | |
305 | macrovarprefix | |
306 | macrovarprefixexclude | |
307 | maintype | |
308 | matchanyintegral | |
309 | matchfields | |
310 | mayaliasunique | |
311 | memchecks | |
312 | memimp | |
313 | memtrans | |
4fab1d8a | 314 | messagestream |
315 | messagestreamstderr | |
316 | messagestreamstdout | |
15b3d2b2 | 317 | misplacedsharequal |
885824d3 | 318 | misscase |
319 | modfilesys | |
320 | modglobs | |
321 | modglobsnomods | |
322 | modglobsunchecked | |
323 | modinternalstrict | |
324 | modnomods | |
325 | modobserver | |
326 | modobserveruncon | |
327 | mods | |
328 | modsimpnoglobs | |
329 | modstrictglobsnomods | |
330 | moduncon | |
331 | modunconnomods | |
332 | modunspec | |
15b3d2b2 | 333 | mts |
334 | multithreaded | |
885824d3 | 335 | mustdefine |
336 | mustfree | |
2e127cb8 | 337 | mustfreefresh |
338 | mustfreeonly | |
885824d3 | 339 | mustmod |
340 | mustnotalias | |
341 | mutrep | |
342 | namechecks | |
343 | needspec | |
344 | nestcomment | |
345 | nestedextern | |
346 | neverinclude | |
347 | newdecl | |
348 | newreftrans | |
349 | nextlinemacros | |
350 | noaccess | |
351 | nocomments | |
352 | noeffect | |
353 | noeffectuncon | |
354 | nof | |
355 | nolib | |
356 | noparams | |
bb7c2085 | 357 | nopp |
885824d3 | 358 | noret |
359 | null | |
360 | nullassign | |
361 | nullderef | |
0bd4c301 | 362 | nullinit |
885824d3 | 363 | nullpass |
364 | nullptrarith | |
365 | nullret | |
366 | nullstate | |
8e349e11 | 367 | nullterminated |
368 | nullterminated | |
4fab1d8a | 369 | numabstract |
370 | numabstractcast | |
0bd4c301 | 371 | numabstractindex |
4fab1d8a | 372 | numabstractlit |
0bd4c301 | 373 | numabstractprint |
885824d3 | 374 | numenummembers |
375 | numliteral | |
376 | numstructfields | |
377 | observertrans | |
3e3ec469 | 378 | obviousloopexec |
885824d3 | 379 | oldstyle |
380 | onlytrans | |
381 | onlyunqglobaltrans | |
15b3d2b2 | 382 | orconstraint |
885824d3 | 383 | overload |
384 | ownedtrans | |
385 | paramimptemp | |
386 | paramuse | |
387 | parenfileformat | |
388 | partial | |
389 | passunknown | |
1d239d69 | 390 | portability |
885824d3 | 391 | posixlib |
392 | posixstrictlib | |
393 | predassign | |
394 | predbool | |
395 | predboolint | |
396 | predboolothers | |
397 | predboolptr | |
bb7c2085 | 398 | preproc |
885824d3 | 399 | protoparammatch |
400 | protoparamname | |
401 | protoparamprefix | |
402 | protoparamprefixexclude | |
403 | ptrarith | |
404 | ptrcompare | |
405 | ptrnegate | |
406 | quiet | |
407 | readonlystrings | |
408 | readonlytrans | |
409 | realcompare | |
410 | redecl | |
411 | redef | |
86d93ed3 | 412 | redundantconstraints |
15b3d2b2 | 413 | redundantsharequal |
885824d3 | 414 | refcounttrans |
415 | relaxquals | |
416 | relaxtypes | |
417 | repeatunrecog | |
418 | repexpose | |
419 | retalias | |
420 | retexpose | |
421 | retimponly | |
422 | retval | |
423 | retvalbool | |
424 | retvalint | |
425 | retvalother | |
426 | sefparams | |
427 | sefuncon | |
428 | shadow | |
429 | sharedtrans | |
a956d444 | 430 | shiftimplementation |
431 | shiftnegative | |
4fab1d8a | 432 | shortint |
885824d3 | 433 | showallconjs |
434 | showalluses | |
435 | showcolumn | |
bb7c2085 | 436 | showconstraintlocation |
437 | showconstraintparens | |
4fab1d8a | 438 | showdeephistory |
885824d3 | 439 | showfunc |
4fab1d8a | 440 | showloadloc |
885824d3 | 441 | showscan |
bb7c2085 | 442 | showsourceloc |
885824d3 | 443 | showsummary |
444 | singleinclude | |
445 | sizeofformalarray | |
446 | sizeoftype | |
abd7f895 | 447 | skipisoheaders |
885824d3 | 448 | skipposixheaders |
449 | skipsysheaders | |
1f11dead | 450 | slashslashcomment |
885824d3 | 451 | slovak |
452 | slovakconsts | |
453 | slovakfcns | |
454 | slovakmacros | |
455 | slovaktypes | |
456 | slovakvars | |
457 | specglobimponly | |
458 | specimponly | |
459 | specmacros | |
460 | specretimponly | |
461 | specstructimponly | |
462 | specundecl | |
463 | specundef | |
464 | stackref | |
15b3d2b2 | 465 | statemerge |
466 | statetransfer | |
885824d3 | 467 | staticinittrans |
468 | statictrans | |
469 | stats | |
4fab1d8a | 470 | streamoverwrite |
885824d3 | 471 | strictbranchstate |
472 | strictdestroy | |
473 | strictlib | |
474 | strictops | |
475 | strictusereleased | |
476 | stringliterallen | |
8fe44445 | 477 | stringliteralnoroom |
aad8b788 | 478 | stringliteralnoroomfinalnull |
8fe44445 | 479 | stringliteralsmaller |
480 | stringliteraltoolong | |
885824d3 | 481 | structimponly |
482 | supcounts | |
15b3d2b2 | 483 | superuser |
885824d3 | 484 | switchloopbreak |
485 | switchswitchbreak | |
486 | syntax | |
487 | sysdirerrors | |
488 | sysdirexpandmacros | |
489 | sysdirs | |
490 | sysunrecog | |
491 | tagprefix | |
492 | tagprefixexclude | |
493 | temptrans | |
494 | timedist | |
495 | tmpcomments | |
496 | tmpdir | |
15b3d2b2 | 497 | toctou |
885824d3 | 498 | topuse |
499 | trytorecover | |
500 | type | |
501 | typeprefix | |
502 | typeprefixexclude | |
503 | typeuse | |
504 | uncheckedglobalias | |
505 | uncheckedmacroprefix | |
506 | uncheckedmacroprefixexclude | |
507 | uniondef | |
508 | unixlib | |
1d239d69 | 509 | unixstandard |
885824d3 | 510 | unixstrictlib |
511 | unqualifiedinittrans | |
512 | unqualifiedtrans | |
513 | unreachable | |
514 | unrecog | |
515 | unrecogcomments | |
4f43223c | 516 | unrecogdirective |
15b3d2b2 | 517 | unrecogflagcomments |
1d239d69 | 518 | unsignedcompare |
885824d3 | 519 | unusedspecial |
520 | usedef | |
521 | usereleased | |
885824d3 | 522 | usevarargs |
523 | varuse | |
524 | voidabstract | |
525 | warnflags | |
4fab1d8a | 526 | warningstream |
527 | warningstreamstderr | |
528 | warningstreamstdout | |
885824d3 | 529 | warnlintcomments |
530 | warnmissingglobs | |
531 | warnmissingglobsnoglobs | |
532 | warnposixheaders | |
60868d40 | 533 | warnrc |
a889b5ee | 534 | warnsysfiles |
885824d3 | 535 | warnunixlib |
15b3d2b2 | 536 | warnuse |
885824d3 | 537 | whichlib |
538 | whileblock | |
539 | whileempty | |
3e3ec469 | 540 | whileloopexec |
cc78dedd | 541 | zerobool |