splint

splint_compiler

splint_compiler is a wrapper for splint static analysis tool. It as the same interface as the gnu compiler collection (gcc). The compiler wrapper will compile the source code using the parameters specified at command line. It will also invoke splint to analyze the source code. This results in a log file extension .lint. Although this file contains useful information, it is hard to read. Therefore, outcome of an splint analysis should be analyzed using splint_scan(1).

Analyzing the results

The results of the splint analysis are recorded in the .lint files. These files can be analyzed using the splint_scan script. See splint_scan(1).

splint_scan

splint_scan is a script which reads the .lint files resulting from a static analysis with the splint_compiler. The warnings are extracted and reported in legible format.

Output format

Normally, the output format of splint_scan is he same as the gcc compiler collection. This format is <file>,<line>,<message>. This allows the programming to parse the output by an editor. It is also possible to generate output in HTML output. Add -html as an optional argument for this purpose.

Warning levels

The messages of splint have been modified. Tags have been introduced to discriminate between SEVERE and CRITICAL warnings. These warning levels could represent a relative and absolute programming standard (respectively) as implemented by QAC (See qac_scan(1) ). The critical warnings represent the erroneous constructions made by the C programming language. By default, these warnings are issued when they are encountered in a log file.

When splint_scan is invoked with the -all option, also SEVERE warnings are issued which indicate possible errors.