[splint-discuss] Splint run time

[jds.2005 at verizon.net]

Hi;

I have a directory of 109 source files, maybe 300,000 lines of code.  When I run splint on *.c, it churns away for hours.  After 10 hours, it's processed about half the files.  Smaller directories (e.g. 44 source files) run in minutes.

I'm running the latest splint version on recent P4 WinXP machine.  The disk churns a lot - one possibility is limited memory and lots of page faults.

Is this likely to be a Windows issue?  Are there characteristics of the code that can dramatically increase run time like this?

Any insights or ideas would be appreciated.

Thanks,
Jerry