On 23 May 2011, [email protected] wrote:

> Scanned the splint web pages but did not find answers.  What
> documentation am I missing to set
> splint's search path?

http://www.splint.org/manual/html/appB.html

Search for 'Initialization'.  You can download the PDF version.  Most of
the 'getting started' stuff is actually in the appendix.  This is
because the most useful part of splint is annotations.  However, most
people just want splint to parse their source, which really doesn't
achieve too much, but might be a good first step.

Fwiw,
Bill Pringlemeir.

-- 
The birds of leaving call to us. Yet here we stand endowed with the
fear of flight. - Dead can Dance
_______________________________________________
splint-discuss mailing list
[email protected]
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss

Reply via email to