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 Finished checking --- no code processed
27 Source files are .c, .h and .lcl files. If there is no suffix,
28 Splint will look for <file>.c and <file>.lcl.
30 Use splint -help <topic or flag name> for more information
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)
50 Command Line: Unrecognized option: -asdf
51 A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
54 Finished checking --- no code processed
56 Command Line: Setting +boolint redundant with current value
57 Finished checking --- no code processed
90 boundscompacterrormessages
98 caseinsensitivefilenames
142 distinctexternalnames
143 distinctinternalnames
173 externalnamecaseinsensitive
176 externalprefixexclude
185 filestaticprefixexclude
225 impcheckedstrictglobs
226 impcheckedstrictspecglobs
227 impcheckedstrictstatics
233 implementationoptional
248 internalnamecaseinsensitive
250 internalnamelookalike
290 longunsignedunsignedintegral
308 macrovarprefixexclude
404 protoparamprefixexclude
438 showconstraintlocation
480 stringliteralnoroomfinalnull
508 uncheckedmacroprefixexclude
533 warnmissingglobsnoglobs
andersk / splint.git / blob