- User Since
- Mon, Apr 12, 6:23 AM (3 w, 3 d)
Thu, Apr 15
Very cool, makes sense. Any plans to open source this work? I would be very interested in your results.
Fix all review issues
Wed, Apr 14
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?