Re: [Xen-devel] [PATCH 11/14] fuzz/x86_emulate: Make input more compact

2017-08-28 Thread George Dunlap
On 08/25/2017 06:59 PM, Andrew Cooper wrote: > On 25/08/17 17:43, George Dunlap wrote: >> At the moment, AFL reckons that for any given input, 87% of it is >> completely irrelevant: that is, it can change it as much as it wants >> but have no impact on the result of the test; and yet it can't

Re: [Xen-devel] [PATCH 11/14] fuzz/x86_emulate: Make input more compact

2017-08-25 Thread Andrew Cooper
On 25/08/17 17:43, George Dunlap wrote: > At the moment, AFL reckons that for any given input, 87% of it is > completely irrelevant: that is, it can change it as much as it wants > but have no impact on the result of the test; and yet it can't remove > it. > > This is largely because we interpret

[Xen-devel] [PATCH 11/14] fuzz/x86_emulate: Make input more compact

2017-08-25 Thread George Dunlap
At the moment, AFL reckons that for any given input, 87% of it is completely irrelevant: that is, it can change it as much as it wants but have no impact on the result of the test; and yet it can't remove it. This is largely because we interpret the blob handed to us as a large struct, including