Fuzzing (Poincare especially?) about epsilon

[debrouxl]

afl-fuzz and honggfuzz would do the job; libfuzzer, which has dictionary support as well (see
https://github.com/google/fuzzer-test-suite/blob/master/tutorial/libFuzzerTutorial.md ) would be more efficient because it doesn't fork(), beating e.g. afl deferred mode.

[Ecco]

This is something we've been doing already. Look at the "blackbox" target (make PLATFORM=blackbox). It takes events from STDIN so you can have your fuzzer feed random events straight to the machine. We've fuzzed the whole OS this way.

That being said, yes, we could even target poincare more specifically, but I don't know if it would be more efficient.

[adriweb]

Ah, I only quickly looked at that part, didn't really notice it was for fuzzing purposes - nice :)

[Ecco]

I'm going to close this one for now, because it's something we've somewhat already done.