[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] Fwd: Re: csmith test harness help



I agree totally, and used to rely heavily on PCLint when I was more a coder than manager.

I believe we do nothing besides -Wall now. Does the clang static analyzer handle C++? I've been meaning to try it out...

John

On 4/13/2011 10:43 PM, Andy Lester wrote:
Nope!  But let's be clear: although Csmith includes a static analyzer,
it is only in service of generating a useful test case.  The actual
compiler testing is 100% dynamic: we run compilers and look for problems.

No, I understand.  It's still always good to run one's code through as stringent a static analysis tool (splint, -Wall and then some, etc) as possible, no?

xoa

--
Andy Lester =>  andy@petdance.com =>  www.techworklove.com =>  AIM:petdance