• Daniel Borkmann's avatar
    bpf, samples: add test cases for raw stack · 3f2050e2
    Daniel Borkmann authored
    This adds test cases mostly around ARG_PTR_TO_RAW_STACK to check the
    verifier behaviour.
    
      [...]
      #84 raw_stack: no skb_load_bytes OK
      #85 raw_stack: skb_load_bytes, no init OK
      #86 raw_stack: skb_load_bytes, init OK
      #87 raw_stack: skb_load_bytes, spilled regs around bounds OK
      #88 raw_stack: skb_load_bytes, spilled regs corruption OK
      #89 raw_stack: skb_load_bytes, spilled regs corruption 2 OK
      #90 raw_stack: skb_load_bytes, spilled regs + data OK
      #91 raw_stack: skb_load_bytes, invalid access 1 OK
      #92 raw_stack: skb_load_bytes, invalid access 2 OK
      #93 raw_stack: skb_load_bytes, invalid access 3 OK
      #94 raw_stack: skb_load_bytes, invalid access 4 OK
      #95 raw_stack: skb_load_bytes, invalid access 5 OK
      #96 raw_stack: skb_load_bytes, invalid access 6 OK
      #97 raw_stack: skb_load_bytes, large access OK
      Summary: 98 PASSED, 0 FAILED
    Signed-off-by: default avatarDaniel Borkmann <daniel@iogearbox.net>
    Acked-by: default avatarAlexei Starovoitov <ast@kernel.org>
    Signed-off-by: default avatarDavid S. Miller <davem@davemloft.net>
    3f2050e2
test_verifier.c 42.8 KB