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