[splint-discuss] Splint run time

[spam_account at sympatico.ca]

On 31 Aug 2005, jds.2005 at verizon.net wrote:

> 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 have the same problem on Linux (with a slow AMD K6/2 300Mhz).  If
you use the single-include option and use pre-compiled system headers,
you can speed things up dramatically.  Here are the option I was using
to start with.

splint +single-include +weak +unixlib +limit 1 +its4mostrisky +partial +top-use +const-use +export-local +internal-name-look-alike +retval -typeuse -fcnuse

Once weak checking produces little or no output, you can increase the
verbosity.

hth,
Bill Pringlemeir.