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