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

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

To: csmith-dev@flux.utah.edu
Subject: [csmith-dev] Fwd: Re: csmith test harness help
From: John Regehr <regehr@cs.utah.edu>
Date: Wed, 13 Apr 2011 22:40:35 -0500
List-archive: </listarchives/csmith-dev>
List-help: <mailto:csmith-dev-request@flux.utah.edu?subject=help>
List-id: Csmith Development Mailing List <csmith-dev.flux.utah.edu>
List-post: <mailto:csmith-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=unsubscribe>
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.15) Gecko/20110303 Thunderbird/3.1.9

Oops meant to send this to list.

John

-------- 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.

John

Follow-Ups:
- Re: [csmith-dev] Fwd: Re: csmith test harness help
  - From: Andy Lester <andy@petdance.com>

Prev by Date: Re: [csmith-dev] csmith test harness help
Next by Date: Re: [csmith-dev] Fwd: Re: csmith test harness help
Previous by thread: Re: [csmith-dev] csmith test harness help
Next by thread: Re: [csmith-dev] Fwd: Re: csmith test harness help
Index(es):
- Date
- Thread