HeliosPanoptes

3 ms·

1. 1.▲
   by HeliosPanoptes 3y ago

   Come to think of it, there is something similar that Xsmith can do with parametric randomness, where it can change just one small choice in the chain of decisions that made a random program. It’s a library developed by a previous masters st
2. 2.▲
   by HeliosPanoptes 3y ago

   Short answer: no. The focus was on always generating semantically valid programs. That said, there is a lot of work on avoiding nondeterministic or undefined behavior, like division by zero or negative square roots. There are also a few ‘fe
3. 3.▲
   by HeliosPanoptes 3y ago

   Hi! Author here. Xsmith provides a lot of ways to tune the choices it makes during program generation. By far the easiest, and the one used a lot in Wasmlike (the fuzzer in this thesis), is adjusting the weight of each AST node. It doesn’t