Anything useable these days?

[tbarbette]

Hi all,

As stabilizer is not compatible with LLVM versions that still works on current OSes (we're 7 versions of LLVM ahead now, no C++17, etc), is there a simpler way to approach the effect of Stabilizer? In "Producing Wrong Data Without Doing Anything Obviously Wrong!", they randomized the order of the .o file, and change the environment size. Is that still the second-best option?

It's not strictly linked to stabilizer, but I'm not sure where to ask that and it's a discussion which is way too much forgotten in computer sciences...

Thanks,
Tom

[charmoniumQ]

I'm working on randomizing the env var in this tool, benchexec in issue 809. However, this still does not randomize the link order.