]>
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 | |
08cf8642 | 75 | allocmismatch |
bb7c2085 | 76 | alwaysexits |
15b3d2b2 | 77 | annotationerror |
27c9e640 | 78 | ansi89limits |
885824d3 | 79 | assignexpose |
80 | badflag | |
81 | bitwisesigned | |
885824d3 | 82 | boolcompare |
83 | boolfalse | |
84 | boolint | |
85 | boolops | |
86 | booltrue | |
87 | booltype | |
bb7c2085 | 88 | bounds |
7c39a167 | 89 | boundscompacterrormessages |
bb7c2085 | 90 | boundsread |
91 | boundswrite | |
885824d3 | 92 | branchstate |
8e349e11 | 93 | bufferoverflow |
15b3d2b2 | 94 | bufferoverflowhigh |
95 | bugslimit | |
885824d3 | 96 | casebreak |
4fab1d8a | 97 | caseinsensitivefilenames |
885824d3 | 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 | |
4fab1d8a | 122 | csv |
123 | csvoverwrite | |
885824d3 | 124 | czech |
125 | czechconsts | |
126 | czechfcns | |
127 | czechmacros | |
128 | czechoslovak | |
129 | czechoslovakconsts | |
130 | czechoslovakfcns | |
131 | czechoslovakmacros | |
132 | czechoslovaktypes | |
133 | czechoslovakvars | |
134 | czechtypes | |
135 | czechvars | |
15b3d2b2 | 136 | debugfcnconstraint |
885824d3 | 137 | declundef |
138 | deepbreak | |
139 | deparrays | |
140 | dependenttrans | |
141 | distinctexternalnames | |
142 | distinctinternalnames | |
143 | dump | |
bb7c2085 | 144 | duplicatecases |
885824d3 | 145 | duplicatequals |
146 | elseifcomplete | |
4fab1d8a | 147 | emptyret |
885824d3 | 148 | enumindex |
149 | enumint | |
150 | enummembers | |
151 | enummemuse | |
152 | enumprefix | |
153 | enumprefixexclude | |
4fab1d8a | 154 | errorstream |
155 | errorstreamstderr | |
156 | errorstreamstdout | |
885824d3 | 157 | evalorder |
158 | evalorderuncon | |
159 | exitarg | |
160 | expect | |
161 | exportany | |
162 | exportconst | |
163 | exportfcn | |
164 | exportheader | |
165 | exportheadervar | |
166 | exportiter | |
167 | exportlocal | |
168 | exportmacro | |
169 | exporttype | |
170 | exportvar | |
171 | exposetrans | |
172 | externalnamecaseinsensitive | |
173 | externalnamelen | |
174 | externalprefix | |
175 | externalprefixexclude | |
176 | f | |
177 | fcnderef | |
178 | fcnmacros | |
8e349e11 | 179 | fcnpost |
885824d3 | 180 | fcnuse |
181 | fielduse | |
15b3d2b2 | 182 | fileextensions |
885824d3 | 183 | filestaticprefix |
184 | filestaticprefixexclude | |
185 | firstcase | |
186 | fixedformalarray | |
187 | floatdouble | |
188 | forblock | |
189 | forcehints | |
190 | forempty | |
3e3ec469 | 191 | forloopexec |
885824d3 | 192 | formalarray |
193 | formatcode | |
15b3d2b2 | 194 | formatconst |
885824d3 | 195 | formattype |
196 | forwarddecl | |
197 | freshtrans | |
198 | fullinitblock | |
199 | globalias | |
200 | globalprefix | |
201 | globalprefixexclude | |
202 | globimponly | |
203 | globnoglobs | |
204 | globs | |
205 | globsimpmodsnothing | |
206 | globstate | |
207 | globuse | |
208 | gnuextensions | |
bb7c2085 | 209 | grammar |
885824d3 | 210 | hasyield |
211 | help | |
212 | hints | |
4fab1d8a | 213 | htmlfileformat |
885824d3 | 214 | i |
215 | ifblock | |
216 | ifempty | |
217 | ignorequals | |
218 | ignoresigns | |
219 | immediatetrans | |
220 | impabstract | |
08cf8642 | 221 | impboundsconstraints |
885824d3 | 222 | impcheckedglobs |
223 | impcheckedspecglobs | |
224 | impcheckedstatics | |
225 | impcheckedstrictglobs | |
226 | impcheckedstrictspecglobs | |
227 | impcheckedstrictstatics | |
228 | impcheckmodglobs | |
229 | impcheckmodinternals | |
230 | impcheckmodspecglobs | |
231 | impcheckmodstatics | |
232 | impconj | |
15b3d2b2 | 233 | implementationoptional |
885824d3 | 234 | impouts |
235 | imptype | |
236 | includenest | |
237 | incompletetype | |
238 | incondefs | |
239 | incondefslib | |
15b3d2b2 | 240 | indentspaces |
885824d3 | 241 | infloops |
242 | infloopsuncon | |
8fe44445 | 243 | initallelements |
244 | initsize | |
885824d3 | 245 | internalglobs |
246 | internalglobsnoglobs | |
247 | internalnamecaseinsensitive | |
248 | internalnamelen | |
249 | internalnamelookalike | |
27c9e640 | 250 | iso99limits |
251 | isolib | |
252 | isoreserved | |
253 | isoreservedinternal | |
bb7c2085 | 254 | iterbalance |
3e3ec469 | 255 | iterloopexec |
885824d3 | 256 | iterprefix |
257 | iterprefixexclude | |
bb7c2085 | 258 | iteryield |
15b3d2b2 | 259 | its4low |
260 | its4moderate | |
261 | its4mostrisky | |
262 | its4risky | |
263 | its4veryrisky | |
bb7c2085 | 264 | keep |
885824d3 | 265 | keeptrans |
266 | kepttrans | |
267 | larchpath | |
268 | lclexpect | |
269 | lclimportdir | |
270 | lcs | |
79127b5d | 271 | legacy |
885824d3 | 272 | lh |
273 | libmacros | |
274 | likelybool | |
4fab1d8a | 275 | likelybounds |
c09ebffe | 276 | likelyboundsread |
277 | likelyboundswrite | |
885824d3 | 278 | limit |
279 | linelen | |
280 | lintcomments | |
281 | load | |
282 | localprefix | |
283 | localprefixexclude | |
4fab1d8a | 284 | locindentspaces |
285 | longint | |
885824d3 | 286 | longintegral |
287 | longsignedintegral | |
288 | longunsignedintegral | |
289 | longunsignedunsignedintegral | |
290 | loopexec | |
291 | looploopbreak | |
292 | looploopcontinue | |
293 | loopswitchbreak | |
294 | macroassign | |
295 | macroconstdecl | |
08cf8642 | 296 | macroconstdistance |
885824d3 | 297 | macrodecl |
298 | macroempty | |
299 | macrofcndecl | |
300 | macromatchname | |
301 | macroparams | |
302 | macroparens | |
303 | macroredef | |
c09ebffe | 304 | macroret |
885824d3 | 305 | macrostmt |
306 | macrounrecog | |
307 | macrovarprefix | |
308 | macrovarprefixexclude | |
309 | maintype | |
310 | matchanyintegral | |
311 | matchfields | |
312 | mayaliasunique | |
313 | memchecks | |
314 | memimp | |
315 | memtrans | |
4fab1d8a | 316 | messagestream |
317 | messagestreamstderr | |
318 | messagestreamstdout | |
15b3d2b2 | 319 | misplacedsharequal |
885824d3 | 320 | misscase |
321 | modfilesys | |
322 | modglobs | |
323 | modglobsnomods | |
324 | modglobsunchecked | |
325 | modinternalstrict | |
326 | modnomods | |
327 | modobserver | |
328 | modobserveruncon | |
329 | mods | |
330 | modsimpnoglobs | |
331 | modstrictglobsnomods | |
332 | moduncon | |
333 | modunconnomods | |
334 | modunspec | |
15b3d2b2 | 335 | mts |
336 | multithreaded | |
885824d3 | 337 | mustdefine |
338 | mustfree | |
2e127cb8 | 339 | mustfreefresh |
340 | mustfreeonly | |
885824d3 | 341 | mustmod |
342 | mustnotalias | |
343 | mutrep | |
344 | namechecks | |
345 | needspec | |
346 | nestcomment | |
347 | nestedextern | |
348 | neverinclude | |
349 | newdecl | |
350 | newreftrans | |
351 | nextlinemacros | |
352 | noaccess | |
353 | nocomments | |
354 | noeffect | |
355 | noeffectuncon | |
356 | nof | |
357 | nolib | |
358 | noparams | |
bb7c2085 | 359 | nopp |
885824d3 | 360 | noret |
361 | null | |
362 | nullassign | |
363 | nullderef | |
0bd4c301 | 364 | nullinit |
885824d3 | 365 | nullpass |
366 | nullptrarith | |
367 | nullret | |
368 | nullstate | |
8e349e11 | 369 | nullterminated |
4fab1d8a | 370 | numabstract |
371 | numabstractcast | |
0bd4c301 | 372 | numabstractindex |
4fab1d8a | 373 | numabstractlit |
0bd4c301 | 374 | numabstractprint |
885824d3 | 375 | numenummembers |
376 | numliteral | |
377 | numstructfields | |
378 | observertrans | |
3e3ec469 | 379 | obviousloopexec |
885824d3 | 380 | oldstyle |
381 | onlytrans | |
382 | onlyunqglobaltrans | |
15b3d2b2 | 383 | orconstraint |
885824d3 | 384 | overload |
385 | ownedtrans | |
386 | paramimptemp | |
387 | paramuse | |
388 | parenfileformat | |
389 | partial | |
390 | passunknown | |
1d239d69 | 391 | portability |
885824d3 | 392 | posixlib |
393 | posixstrictlib | |
394 | predassign | |
395 | predbool | |
396 | predboolint | |
397 | predboolothers | |
398 | predboolptr | |
bb7c2085 | 399 | preproc |
885824d3 | 400 | protoparammatch |
401 | protoparamname | |
402 | protoparamprefix | |
403 | protoparamprefixexclude | |
404 | ptrarith | |
405 | ptrcompare | |
406 | ptrnegate | |
407 | quiet | |
408 | readonlystrings | |
409 | readonlytrans | |
410 | realcompare | |
08cf8642 | 411 | realrelatecompare |
885824d3 | 412 | redecl |
413 | redef | |
86d93ed3 | 414 | redundantconstraints |
15b3d2b2 | 415 | redundantsharequal |
885824d3 | 416 | refcounttrans |
417 | relaxquals | |
418 | relaxtypes | |
419 | repeatunrecog | |
420 | repexpose | |
421 | retalias | |
422 | retexpose | |
423 | retimponly | |
424 | retval | |
425 | retvalbool | |
426 | retvalint | |
427 | retvalother | |
428 | sefparams | |
429 | sefuncon | |
430 | shadow | |
431 | sharedtrans | |
a956d444 | 432 | shiftimplementation |
433 | shiftnegative | |
4fab1d8a | 434 | shortint |
885824d3 | 435 | showallconjs |
436 | showalluses | |
437 | showcolumn | |
bb7c2085 | 438 | showconstraintlocation |
439 | showconstraintparens | |
4fab1d8a | 440 | showdeephistory |
885824d3 | 441 | showfunc |
4fab1d8a | 442 | showloadloc |
885824d3 | 443 | showscan |
bb7c2085 | 444 | showsourceloc |
885824d3 | 445 | showsummary |
446 | singleinclude | |
447 | sizeofformalarray | |
448 | sizeoftype | |
abd7f895 | 449 | skipisoheaders |
885824d3 | 450 | skipposixheaders |
451 | skipsysheaders | |
1f11dead | 452 | slashslashcomment |
885824d3 | 453 | slovak |
454 | slovakconsts | |
455 | slovakfcns | |
456 | slovakmacros | |
457 | slovaktypes | |
458 | slovakvars | |
459 | specglobimponly | |
460 | specimponly | |
461 | specmacros | |
462 | specretimponly | |
463 | specstructimponly | |
464 | specundecl | |
465 | specundef | |
466 | stackref | |
15b3d2b2 | 467 | statemerge |
468 | statetransfer | |
885824d3 | 469 | staticinittrans |
470 | statictrans | |
471 | stats | |
4fab1d8a | 472 | streamoverwrite |
885824d3 | 473 | strictbranchstate |
474 | strictdestroy | |
475 | strictlib | |
476 | strictops | |
477 | strictusereleased | |
478 | stringliterallen | |
8fe44445 | 479 | stringliteralnoroom |
aad8b788 | 480 | stringliteralnoroomfinalnull |
8fe44445 | 481 | stringliteralsmaller |
482 | stringliteraltoolong | |
885824d3 | 483 | structimponly |
484 | supcounts | |
15b3d2b2 | 485 | superuser |
885824d3 | 486 | switchloopbreak |
487 | switchswitchbreak | |
488 | syntax | |
489 | sysdirerrors | |
490 | sysdirexpandmacros | |
491 | sysdirs | |
492 | sysunrecog | |
493 | tagprefix | |
494 | tagprefixexclude | |
495 | temptrans | |
496 | timedist | |
497 | tmpcomments | |
498 | tmpdir | |
15b3d2b2 | 499 | toctou |
885824d3 | 500 | topuse |
501 | trytorecover | |
502 | type | |
503 | typeprefix | |
504 | typeprefixexclude | |
505 | typeuse | |
506 | uncheckedglobalias | |
507 | uncheckedmacroprefix | |
508 | uncheckedmacroprefixexclude | |
509 | uniondef | |
510 | unixlib | |
1d239d69 | 511 | unixstandard |
885824d3 | 512 | unixstrictlib |
513 | unqualifiedinittrans | |
514 | unqualifiedtrans | |
515 | unreachable | |
516 | unrecog | |
517 | unrecogcomments | |
4f43223c | 518 | unrecogdirective |
15b3d2b2 | 519 | unrecogflagcomments |
1d239d69 | 520 | unsignedcompare |
885824d3 | 521 | unusedspecial |
522 | usedef | |
523 | usereleased | |
885824d3 | 524 | usevarargs |
525 | varuse | |
526 | voidabstract | |
527 | warnflags | |
4fab1d8a | 528 | warningstream |
529 | warningstreamstderr | |
530 | warningstreamstdout | |
885824d3 | 531 | warnlintcomments |
532 | warnmissingglobs | |
533 | warnmissingglobsnoglobs | |
534 | warnposixheaders | |
60868d40 | 535 | warnrc |
a889b5ee | 536 | warnsysfiles |
885824d3 | 537 | warnunixlib |
15b3d2b2 | 538 | warnuse |
885824d3 | 539 | whichlib |
540 | whileblock | |
541 | whileempty | |
3e3ec469 | 542 | whileloopexec |
cc78dedd | 543 | zerobool |