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

[John Regehr <regehr@cs.utah.edu>]

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.

John



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.
>
> John
>
>
> On 4/28/16 5:37 PM, Christian Dietrich wrote:
> > Hi,
> >
> > 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
> > invocations.
> >
> > 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?
> >
> >  chris