On Tue, Jan 05, 2016 at 05:36:47PM +0100, Daniel Borkmann wrote: > On 01/05/2016 04:23 PM, Rabin Vincent wrote: > >The SKF_AD_ALU_XOR_X ancillary is not like the other ancillary data > >instructions since it XORs A with X while all the others replace A with > >some loaded value. All the BPF JITs fail to clear A if this is used as > >the first instruction in a filter. This was found using american fuzzy > >lop. > > > >Add a helper to determine if A needs to be cleared given the first > >instruction in a filter, and use this in the JITs. Except for ARM, the > >rest have only been compile-tested. > > > >Fixes: 3480593131e0 ("net: filter: get rid of BPF_S_* enum") > >Signed-off-by: Rabin Vincent <rabin@xxxxxx> > > Excellent catch, thanks a lot! The fix looks good to me and should > go to -net tree. > > Acked-by: Daniel Borkmann <daniel@xxxxxxxxxxxxx> good catch indeed. Classic bpf jits didn't have much love. Great to see this work. Acked-by: Alexei Starovoitov <ast@xxxxxxxxxx> -- To unsubscribe from this list: send the line "unsubscribe sparclinux" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html