Re: [PATCH bpf-next] bpf: add test cases for non-pointer sanitiation logic

2019-03-01 Thread Daniel Borkmann
On 03/02/2019 01:04 AM, Song Liu wrote: > On Fri, Mar 1, 2019 at 3:27 PM Daniel Borkmann wrote: >> On 03/02/2019 12:22 AM, Song Liu wrote: >>> On Fri, Mar 1, 2019 at 1:10 PM Daniel Borkmann wrote: [...] > > I see, so the *2 comes from > > BPF_ALU64_REG(BPF_ADD, BPF_REG_8, BPF_REG_7) Yes, exact

Re: [PATCH bpf-next] bpf: add test cases for non-pointer sanitiation logic

2019-03-01 Thread Song Liu
On Fri, Mar 1, 2019 at 3:27 PM Daniel Borkmann wrote: > > On 03/02/2019 12:22 AM, Song Liu wrote: > > On Fri, Mar 1, 2019 at 1:10 PM Daniel Borkmann wrote: > >> > >> Add two additional tests for further asserting the > >> BPF_ALU_NON_POINTER logic with cases that were missed > >> previously. > >>

Re: [PATCH bpf-next] bpf: add test cases for non-pointer sanitiation logic

2019-03-01 Thread Daniel Borkmann
On 03/02/2019 12:22 AM, Song Liu wrote: > On Fri, Mar 1, 2019 at 1:10 PM Daniel Borkmann wrote: >> >> Add two additional tests for further asserting the >> BPF_ALU_NON_POINTER logic with cases that were missed >> previously. >> >> Signed-off-by: Daniel Borkmann >> Cc: Marek Majkowski >> Cc: Arth

Re: [PATCH bpf-next] bpf: add test cases for non-pointer sanitiation logic

2019-03-01 Thread Song Liu
On Fri, Mar 1, 2019 at 1:10 PM Daniel Borkmann wrote: > > Add two additional tests for further asserting the > BPF_ALU_NON_POINTER logic with cases that were missed > previously. > > Signed-off-by: Daniel Borkmann > Cc: Marek Majkowski > Cc: Arthur Fabre > --- > .../selftests/bpf/verifier/valu

[PATCH bpf-next] bpf: add test cases for non-pointer sanitiation logic

2019-03-01 Thread Daniel Borkmann
Add two additional tests for further asserting the BPF_ALU_NON_POINTER logic with cases that were missed previously. Signed-off-by: Daniel Borkmann Cc: Marek Majkowski Cc: Arthur Fabre --- .../selftests/bpf/verifier/value_ptr_arith.c | 44 ++- 1 file changed, 43 insertions(+),