[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 <firstname.lastname@example.org>
To: Andy Lester <email@example.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.