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?

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

To be continued ... ;-)

Many thanks in advance

Reply via email to