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

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

Oops meant to send this to list.


-------- Original Message --------
Subject: Re: [csmith-dev] csmith test harness help
Date: Wed, 13 Apr 2011 22:40:07 -0500
From: John Regehr <regehr@cs.utah.edu>
To: Andy Lester <andy@petdance.com>

Have you guys done anything with splint or other static analyzers?

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.