2 Source files are .c, .h and .lcl files. If there is no suffix,
3 Splint will look for <file>.c and <file>.lcl.
5 Use splint -help <topic or flag name> for more information
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)
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
32 Source files are .c, .h and .lcl files. If there is no suffix,
33 Splint will look for <file>.c and <file>.lcl.
35 Use splint -help <topic or flag name> for more information
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)
55 Command Line: Unrecognized option: -asdf
56 A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
59 Finished checking --- no code processed
61 Command Line: Setting +boolint redundant with current value
62 Finished checking --- no code processed
95 boundscompacterrormessages
103 caseinsensitivefilenames
147 distinctexternalnames
148 distinctinternalnames
178 externalnamecaseinsensitive
181 externalprefixexclude
190 filestaticprefixexclude
230 impcheckedstrictglobs
231 impcheckedstrictspecglobs
232 impcheckedstrictstatics
238 implementationoptional
253 internalnamecaseinsensitive
255 internalnamelookalike
295 longunsignedunsignedintegral
313 macrovarprefixexclude
409 protoparamprefixexclude
443 showconstraintlocation
485 stringliteralnoroomfinalnull
513 uncheckedmacroprefixexclude
538 warnmissingglobsnoglobs
andersk / splint.git / blob