On Tue, 16 Apr 2002, Martin Roehrig wrote:

> Hello,
> I'm new to Splint and although I browsed through the whole manual and read about 
>half of it I still can't get an overview on how it
> all works together. Could you please help me with the following questions and/or 
>point me to some HOWTO or technical overview?
> 1. What sorts of files (configuration, code description etc.) are used with Splint 
>and which are the corresponding file extensions?

The easiest way to run splint is to just run it on your .c files (as shown
in http://www.splint.org/manual/html/sec1.html).

You can also use separate specification files.  See
http://www.splint.org/samples/db/index.html for a (somewhat obsolete)
example of how to do that.  If you want to define your own annotations,
you use an .mts file (see http://www.splint.org/manual/html/sec10.html).

The configuration file .splintrc (in the current directory, and then in
your home directory) can be used to set flags.

> 2. When and in which sequence are those files used by Splint?

The configuration and mts files are read first, then the specifications,
then the code files are checked.

--- Dave

> To be continued ... ;-)
> Many thanks in advance
> Martin

Reply via email to