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

Re: [csmith-dev] Generate two slightly different files

Hi Natalia, that's an interesting idea. Certainly C-Reduce has a wide range of transformations and they are easy to invoke individually. I guess the only flaw in that plan might be the fact that C-Reduce's transformations are almost entirely in one direction: they try to make programs simpler, whereas Christian might require transformations that have other properties.

But anyway, Christian, I encourage you to try out C-Reduce as a way to create similar C (or C++) programs.


On 4/28/16 6:19 PM, Natalia Glagoleva wrote:
Can creduce do some of these transformations?

-----Original Message-----
From: csmith-dev-bounces@flux.utah.edu [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of John Regehr"
Sent: Thursday, April 28, 2016 8:43 AM
To: csmith-dev@flux.utah.edu
Subject: Re: [csmith-dev] Generate two slightly different files

There's no facility for this in Csmith, and it wouldn't be easy to implement.

The kind of tool you are looking for is one that supports mutation-based testing.  I don't have one in mind but a google search on that term will probably turn something up.


On 4/28/16 5:37 PM, Christian Dietrich wrote:

I'm currently searching for a tool to generate two C files that are
very similar. What do I mean by similar? The respective AST of the C
files should only differ in one subexpression/type/etc. The difference
should mimic the changes a developer does between two compiler

Does csmith already allow such small alterations of its output? If so,
I haven't seen an command line option for it. If it doesn't have this
feature, could you give me a small hint where I should look to
implement this behavior?