Very cool, makes sense. Any plans to open source this work? I would be very interested in your results.
Apr 15 2021
Fix all review issues
Apr 14 2021
We mostly lean on fuzzer to detect crashes and estimate inputs. We want to delete discarded inputs. So, they won't be given to DSE as inputs.
We integrated our dynamic symbolic execution tool (Sydr) with libFuzzer. We feed generated inputs from Sydr to libFuzzer corpus. We need to know loaded (good) inputs to:
Should I reformat the code outside of my patch to make build green?