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
88 boundscompacterrormessages
96 caseinsensitivefilenames
140 distinctexternalnames
141 distinctinternalnames
171 externalnamecaseinsensitive
174 externalprefixexclude
183 filestaticprefixexclude
223 impcheckedstrictglobs
224 impcheckedstrictspecglobs
225 impcheckedstrictstatics
231 implementationoptional
246 internalnamecaseinsensitive
248 internalnamelookalike
288 longunsignedunsignedintegral
306 macrovarprefixexclude
401 protoparamprefixexclude
435 showconstraintlocation
477 stringliteralnoroomfinalnull
505 uncheckedmacroprefixexclude
530 warnmissingglobsnoglobs
andersk / splint.git / blob