[splint-discuss] Splint run time

[Rothweiler, Steven (Steve)]

>
> 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.
>

I'd bet a lot of money that the splint process is thrashing.
Check the Task Manager, to see if the splint process is getting
any of the CPU.  If it's getting less than 3% or so, then the
splint process is thrashing.  Try splitting up the splint runs
into two runs, each on half the files.  Then try splitting it
into quarters, etc...
--
STeve