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

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

Regarding mutation engines, here's what a friend who knows a lot about them said.

"Proteum some people like, Milu is nice and new. I've used neither, students have said Milu has some issues. I use Jamie Andrews' unreleased Prolog tool, which is source-to-source and produces a good but not giant set of mutants."

I don't know these tools and can't vouch for any of them.

Jamie Andrews is this guy:
it looks like he might have moved jobs since his home page is gone? Anyhow, you'd have to contact him to get his tool.


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?