⚙ D46924 [libFuzzer] add a symbolic execution puzzle (difficult for today's libFuzzer).
[libFuzzer] add a symbolic execution puzzle (difficult for today's libFuzzer).
Authored by Dor1s on May 15 2018, 7:33 PM.
rCRT332507: [libFuzzer] add a symbolic execution puzzle (difficult for today's libFuzzer).
rGd63396097d57: [libFuzzer] add a symbolic execution puzzle (difficult for today's libFuzzer).
rL332507: [libFuzzer] add a symbolic execution puzzle (difficult for today's libFuzzer).
the first hour of running with -use_value_profile=1 and -max_len=20.
bot none of those solve any new constraint.
During the next 20 hours, it didn't find any NEW inputs.
Neat. Was this generated programmatically?
You don't need this include. You don't seem to be using assert() anywhere.
Why don't you want these functions inlined? A comment explaining your reasoning would be nice.
Dor1s marked 2 inline comments as done.
Address review comments: remove unused header + add a comment regarding "noinline"
Looking forward to trying to attack it.
But indeed, for examples like this, KLEE (or other symexec) is clearly more powerful... today.
btw, thanks for supplying the reproducer in the top comment.