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? 2. When and in which sequence are those files used by Splint? To be continued ... ;-) Many thanks in advance Martin