Yeah, Derek Knowles at a company in Great Britain called Knowledge
Software runs the source through their C checker, OSPC, every now and
then. At the time he started doing this, I set up mirror of it over here
in the U.S. for him. See http://www.prism.gatech.edu/~gt1355b/ospc/ (or
http://www.knosof.co.uk/ospclin.html if you're in that part of the world)
for more details. I dunno that the log file will be terribly useful to
you, but that's where you'll find it. Enjoy!
I think the current one is for pre-2.0.4, but if you ask, I'm sure he'll
make you a newer one.
later,
chris
-- Chris Ricker gt1355b@prism.gatech.edu"All the world's a stage and most of us are desperately unrehearsed." -- Sean O'Casey