Splint is a powerful static analysis tool with a long and prestigious history.  It can analyze any ANSI / ISO C application for a myriad of safety issues, like so many other "Lint" tools.  But Splint has capabilities that go far beyond the others through the addition of design annotations.  When these are considered, Splint can be used as a gateway tool into the mysterious world of formal methods. 

 To download your copy of this whitepaper, please login; or you may send an email request to This e-mail address is being protected from spambots. You need JavaScript enabled to view it