[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?
From: firstname.lastname@example.org [mailto:email@example.com] On Behalf Of John Regehr"
Sent: Thursday, April 28, 2016 8:43 AM
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?