Mark Glines wrote:
> It would be very helpful to get access to the preprocessed source that
> splint is actually trying to parse. Is there a command line option
> which convinces splint to output its preprocessor output to stdout, or
> stderr or a log file or something?
If you use the -keep option, splint will keep the temporary
(post-pre-processor) files and print out a list of their file names at
the end of the run.