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 Source files are .c, .h and .lcl files. If there is no suffix,
26 Splint will look for <file>.c and <file>.lcl.
28 Use splint -help <topic or flag name> for more information
32 annotations (describes source-code annotations)
33 comments (describes control comments)
34 flags (describes flag categories)
35 flags <category> (describes flags in category)
36 flags all (short description of all flags)
37 flags alpha (list all flags alphabetically)
38 flags full (full description of all flags)
39 mail (information on mailing lists)
40 modes (show mode settings)
41 parseerrors (help on handling parser errors)
42 prefixcodes (character codes in namespace prefixes)
43 references (sources for more information)
44 vars (environment variables)
45 version (information on compilation, maintainer)
48 Command Line: Unrecognized option: -asdf
49 A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
52 Finished checking --- no code processed
54 Command Line: Setting +boolint redundant with current value
55 Finished checking --- no code processed
89 boundscompacterrormessages
97 caseinsensitivefilenames
141 distinctexternalnames
142 distinctinternalnames
172 externalnamecaseinsensitive
175 externalprefixexclude
184 filestaticprefixexclude
225 impcheckedstrictglobs
226 impcheckedstrictspecglobs
227 impcheckedstrictstatics
233 implementationoptional
247 internalnamecaseinsensitive
249 internalnamelookalike
289 longunsignedunsignedintegral
308 macrovarprefixexclude
403 protoparamprefixexclude
438 showconstraintlocation
480 stringliteralnoroomfinalnull
508 uncheckedmacroprefixexclude
533 warnmissingglobsnoglobs
andersk / splint.git / blob