]>
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 |