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