[splint-discuss] Speeding Splint.
evans at cs.virginia.edu
Wed Nov 26 10:37:34 EST 2003
Sorry for the slow response.
Turning off checks will have minimal effect on performance (except for the
bounds checking which has approximiately a factor of two performance
The way to scale splint to larger applications is to use the library
mechanism so you only need to check the files that have changed. See
The +single-include flag will also considerably improve performance if
most of the processing time is being spent re-processing header files.
On Thu, 20 Nov 2003, John Carter wrote:
> We're splinting all our files (with various levels), but this is now
> taking a significant amount of time to do. (2.4 times the time taken
> to compile the files...)
> Are there any tricks we can play, checks we can disable, that would
> significantly decrease the time it takes to splint all the files?
> John Carter Phone : (64)(3) 358 6639
> Tait Electronics Fax : (64)(3) 359 4632
> PO Box 1645 Christchurch Email : john.carter at tait.co.nz
> New Zealand
> A Million Monkeys can inflict worse things than just Shakespeare on
> your system.
> splint-discuss mailing list
> splint-discuss at cs.virginia.edu
More information about the splint-discuss