]>
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 | ||
4fab1d8a | 50 | Command Line: Unrecognized option: -asdf |
2e127cb8 | 51 | A flag is not recognized or used in an incorrect way (Use -badflag to inhibit |
52 | warning) | |
885824d3 | 53 | |
11db3170 | 54 | Finished checking --- no code processed |
885824d3 | 55 | |
4fab1d8a | 56 | Command Line: Setting +boolint redundant with current value |
11db3170 | 57 | Finished checking --- no code processed |
885824d3 | 58 | |
59 | D<initializer> | |
60 | I<directory> | |
61 | S<directory> | |
62 | U<initializer> | |
63 | abstract | |
4fab1d8a | 64 | abstractcompare |
885824d3 | 65 | accessall |
66 | accessczech | |
67 | accessczechoslovak | |
68 | accessfile | |
69 | accessmodule | |
70 | accessslovak | |
71 | aliasunique | |
72 | allblock | |
73 | allempty | |
74 | allglobs | |
75 | allimponly | |
76 | allmacros | |
bb7c2085 | 77 | alwaysexits |
15b3d2b2 | 78 | annotationerror |
27c9e640 | 79 | ansi89limits |
885824d3 | 80 | assignexpose |
81 | badflag | |
82 | bitwisesigned | |
885824d3 | 83 | boolcompare |
84 | boolfalse | |
85 | boolint | |
86 | boolops | |
87 | booltrue | |
88 | booltype | |
bb7c2085 | 89 | bounds |
7c39a167 | 90 | boundscompacterrormessages |
bb7c2085 | 91 | boundsread |
92 | boundswrite | |
885824d3 | 93 | branchstate |
8e349e11 | 94 | bufferoverflow |
15b3d2b2 | 95 | bufferoverflowhigh |
96 | bugslimit | |
885824d3 | 97 | casebreak |
4fab1d8a | 98 | caseinsensitivefilenames |
885824d3 | 99 | castexpose |
100 | castfcnptr | |
101 | charindex | |
102 | charint | |
103 | charintliteral | |
104 | charunsignedchar | |
105 | checkedglobalias | |
106 | checkmodglobalias | |
15b3d2b2 | 107 | checkpost |
885824d3 | 108 | checkstrictglobalias |
109 | checkstrictglobs | |
110 | codeimponly | |
111 | commentchar | |
15b3d2b2 | 112 | commenterror |
885824d3 | 113 | compdef |
114 | compdestroy | |
115 | compmempass | |
116 | constmacros | |
117 | constprefix | |
118 | constprefixexclude | |
119 | constuse | |
120 | continuecomment | |
121 | controlnestdepth | |
122 | cppnames | |
4fab1d8a | 123 | csv |
124 | csvoverwrite | |
885824d3 | 125 | czech |
126 | czechconsts | |
127 | czechfcns | |
128 | czechmacros | |
129 | czechoslovak | |
130 | czechoslovakconsts | |
131 | czechoslovakfcns | |
132 | czechoslovakmacros | |
133 | czechoslovaktypes | |
134 | czechoslovakvars | |
135 | czechtypes | |
136 | czechvars | |
15b3d2b2 | 137 | debugfcnconstraint |
885824d3 | 138 | declundef |
139 | deepbreak | |
140 | deparrays | |
141 | dependenttrans | |
142 | distinctexternalnames | |
143 | distinctinternalnames | |
144 | dump | |
bb7c2085 | 145 | duplicatecases |
885824d3 | 146 | duplicatequals |
147 | elseifcomplete | |
4fab1d8a | 148 | emptyret |
885824d3 | 149 | enumindex |
150 | enumint | |
151 | enummembers | |
152 | enummemuse | |
153 | enumprefix | |
154 | enumprefixexclude | |
4fab1d8a | 155 | errorstream |
156 | errorstreamstderr | |
157 | errorstreamstdout | |
885824d3 | 158 | evalorder |
159 | evalorderuncon | |
160 | exitarg | |
161 | expect | |
162 | exportany | |
163 | exportconst | |
164 | exportfcn | |
165 | exportheader | |
166 | exportheadervar | |
167 | exportiter | |
168 | exportlocal | |
169 | exportmacro | |
170 | exporttype | |
171 | exportvar | |
172 | exposetrans | |
173 | externalnamecaseinsensitive | |
174 | externalnamelen | |
175 | externalprefix | |
176 | externalprefixexclude | |
177 | f | |
178 | fcnderef | |
179 | fcnmacros | |
8e349e11 | 180 | fcnpost |
885824d3 | 181 | fcnuse |
182 | fielduse | |
15b3d2b2 | 183 | fileextensions |
885824d3 | 184 | filestaticprefix |
185 | filestaticprefixexclude | |
186 | firstcase | |
187 | fixedformalarray | |
188 | floatdouble | |
189 | forblock | |
190 | forcehints | |
191 | forempty | |
3e3ec469 | 192 | forloopexec |
885824d3 | 193 | formalarray |
194 | formatcode | |
15b3d2b2 | 195 | formatconst |
885824d3 | 196 | formattype |
197 | forwarddecl | |
198 | freshtrans | |
199 | fullinitblock | |
200 | globalias | |
201 | globalprefix | |
202 | globalprefixexclude | |
203 | globimponly | |
204 | globnoglobs | |
205 | globs | |
206 | globsimpmodsnothing | |
207 | globstate | |
208 | globuse | |
209 | gnuextensions | |
bb7c2085 | 210 | grammar |
885824d3 | 211 | hasyield |
212 | help | |
213 | hints | |
4fab1d8a | 214 | htmlfileformat |
885824d3 | 215 | i |
216 | ifblock | |
217 | ifempty | |
218 | ignorequals | |
219 | ignoresigns | |
220 | immediatetrans | |
221 | impabstract | |
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 |
234 | implictconstraint | |
885824d3 | 235 | impouts |
236 | imptype | |
237 | includenest | |
238 | incompletetype | |
239 | incondefs | |
240 | incondefslib | |
15b3d2b2 | 241 | indentspaces |
885824d3 | 242 | infloops |
243 | infloopsuncon | |
8fe44445 | 244 | initallelements |
245 | initsize | |
885824d3 | 246 | internalglobs |
247 | internalglobsnoglobs | |
248 | internalnamecaseinsensitive | |
249 | internalnamelen | |
250 | internalnamelookalike | |
27c9e640 | 251 | iso99limits |
252 | isolib | |
253 | isoreserved | |
254 | isoreservedinternal | |
bb7c2085 | 255 | iterbalance |
3e3ec469 | 256 | iterloopexec |
885824d3 | 257 | iterprefix |
258 | iterprefixexclude | |
bb7c2085 | 259 | iteryield |
15b3d2b2 | 260 | its4low |
261 | its4moderate | |
262 | its4mostrisky | |
263 | its4risky | |
264 | its4veryrisky | |
bb7c2085 | 265 | keep |
885824d3 | 266 | keeptrans |
267 | kepttrans | |
268 | larchpath | |
269 | lclexpect | |
270 | lclimportdir | |
271 | lcs | |
79127b5d | 272 | legacy |
885824d3 | 273 | lh |
274 | libmacros | |
4fab1d8a | 275 | likely-boundsread |
276 | likely-boundswrite | |
885824d3 | 277 | likelybool |
4fab1d8a | 278 | likelybounds |
885824d3 | 279 | limit |
280 | linelen | |
281 | lintcomments | |
282 | load | |
283 | localprefix | |
284 | localprefixexclude | |
4fab1d8a | 285 | locindentspaces |
286 | longint | |
885824d3 | 287 | longintegral |
288 | longsignedintegral | |
289 | longunsignedintegral | |
290 | longunsignedunsignedintegral | |
291 | loopexec | |
292 | looploopbreak | |
293 | looploopcontinue | |
294 | loopswitchbreak | |
295 | macroassign | |
296 | macroconstdecl | |
297 | macrodecl | |
298 | macroempty | |
299 | macrofcndecl | |
300 | macromatchname | |
301 | macroparams | |
302 | macroparens | |
303 | macroredef | |
bb7c2085 | 304 | macroreturn |
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 | |
364 | nullpass | |
365 | nullptrarith | |
366 | nullret | |
367 | nullstate | |
8e349e11 | 368 | nullterminated |
369 | nullterminated | |
4fab1d8a | 370 | numabstract |
371 | numabstractcast | |
372 | numabstractlit | |
885824d3 | 373 | numenummembers |
374 | numliteral | |
375 | numstructfields | |
376 | observertrans | |
3e3ec469 | 377 | obviousloopexec |
885824d3 | 378 | oldstyle |
379 | onlytrans | |
380 | onlyunqglobaltrans | |
15b3d2b2 | 381 | orconstraint |
885824d3 | 382 | overload |
383 | ownedtrans | |
384 | paramimptemp | |
385 | paramuse | |
386 | parenfileformat | |
387 | partial | |
388 | passunknown | |
1d239d69 | 389 | portability |
885824d3 | 390 | posixlib |
391 | posixstrictlib | |
392 | predassign | |
393 | predbool | |
394 | predboolint | |
395 | predboolothers | |
396 | predboolptr | |
bb7c2085 | 397 | preproc |
885824d3 | 398 | protoparammatch |
399 | protoparamname | |
400 | protoparamprefix | |
401 | protoparamprefixexclude | |
402 | ptrarith | |
403 | ptrcompare | |
404 | ptrnegate | |
405 | quiet | |
406 | readonlystrings | |
407 | readonlytrans | |
408 | realcompare | |
409 | redecl | |
410 | redef | |
86d93ed3 | 411 | redundantconstraints |
15b3d2b2 | 412 | redundantsharequal |
885824d3 | 413 | refcounttrans |
414 | relaxquals | |
415 | relaxtypes | |
416 | repeatunrecog | |
417 | repexpose | |
418 | retalias | |
419 | retexpose | |
420 | retimponly | |
421 | retval | |
422 | retvalbool | |
423 | retvalint | |
424 | retvalother | |
425 | sefparams | |
426 | sefuncon | |
427 | shadow | |
428 | sharedtrans | |
a956d444 | 429 | shiftimplementation |
430 | shiftnegative | |
4fab1d8a | 431 | shortint |
885824d3 | 432 | showallconjs |
433 | showalluses | |
434 | showcolumn | |
bb7c2085 | 435 | showconstraintlocation |
436 | showconstraintparens | |
4fab1d8a | 437 | showdeephistory |
885824d3 | 438 | showfunc |
4fab1d8a | 439 | showloadloc |
885824d3 | 440 | showscan |
bb7c2085 | 441 | showsourceloc |
885824d3 | 442 | showsummary |
443 | singleinclude | |
444 | sizeofformalarray | |
445 | sizeoftype | |
abd7f895 | 446 | skipisoheaders |
885824d3 | 447 | skipposixheaders |
448 | skipsysheaders | |
1f11dead | 449 | slashslashcomment |
885824d3 | 450 | slovak |
451 | slovakconsts | |
452 | slovakfcns | |
453 | slovakmacros | |
454 | slovaktypes | |
455 | slovakvars | |
456 | specglobimponly | |
457 | specimponly | |
458 | specmacros | |
459 | specretimponly | |
460 | specstructimponly | |
461 | specundecl | |
462 | specundef | |
463 | stackref | |
15b3d2b2 | 464 | statemerge |
465 | statetransfer | |
885824d3 | 466 | staticinittrans |
467 | statictrans | |
468 | stats | |
4fab1d8a | 469 | streamoverwrite |
885824d3 | 470 | strictbranchstate |
471 | strictdestroy | |
472 | strictlib | |
473 | strictops | |
474 | strictusereleased | |
475 | stringliterallen | |
8fe44445 | 476 | stringliteralnoroom |
aad8b788 | 477 | stringliteralnoroomfinalnull |
8fe44445 | 478 | stringliteralsmaller |
479 | stringliteraltoolong | |
885824d3 | 480 | structimponly |
481 | supcounts | |
15b3d2b2 | 482 | superuser |
885824d3 | 483 | switchloopbreak |
484 | switchswitchbreak | |
485 | syntax | |
486 | sysdirerrors | |
487 | sysdirexpandmacros | |
488 | sysdirs | |
489 | sysunrecog | |
490 | tagprefix | |
491 | tagprefixexclude | |
492 | temptrans | |
493 | timedist | |
494 | tmpcomments | |
495 | tmpdir | |
15b3d2b2 | 496 | toctou |
885824d3 | 497 | topuse |
498 | trytorecover | |
499 | type | |
500 | typeprefix | |
501 | typeprefixexclude | |
502 | typeuse | |
503 | uncheckedglobalias | |
504 | uncheckedmacroprefix | |
505 | uncheckedmacroprefixexclude | |
506 | uniondef | |
507 | unixlib | |
1d239d69 | 508 | unixstandard |
885824d3 | 509 | unixstrictlib |
510 | unqualifiedinittrans | |
511 | unqualifiedtrans | |
512 | unreachable | |
513 | unrecog | |
514 | unrecogcomments | |
4f43223c | 515 | unrecogdirective |
15b3d2b2 | 516 | unrecogflagcomments |
1d239d69 | 517 | unsignedcompare |
885824d3 | 518 | unusedspecial |
519 | usedef | |
520 | usereleased | |
885824d3 | 521 | usevarargs |
522 | varuse | |
523 | voidabstract | |
524 | warnflags | |
4fab1d8a | 525 | warningstream |
526 | warningstreamstderr | |
527 | warningstreamstdout | |
885824d3 | 528 | warnlintcomments |
529 | warnmissingglobs | |
530 | warnmissingglobsnoglobs | |
531 | warnposixheaders | |
60868d40 | 532 | warnrc |
a889b5ee | 533 | warnsysfiles |
885824d3 | 534 | warnunixlib |
15b3d2b2 | 535 | warnuse |
885824d3 | 536 | whichlib |
537 | whileblock | |
538 | whileempty | |
3e3ec469 | 539 | whileloopexec |
cc78dedd | 540 | zerobool |