bpf/progs/verifier_spill_fill.c

15 __description("check valid spill/fill")
33 __description("check valid spill/fill, skb mark")
49 __description("check valid spill/fill, ptr to mem")
86 __description("check with invalid reg offset 0")
122 __description("check corrupted spill/fill")
145 __description("check corrupted spill/fill, LSB")
160 __description("check corrupted spill/fill, MSB")
175 __description("Spill and refill a u32 const scalar.  Offset to skb->data")
201 __description("Spill a u32 const, refill from another half of the uninit u32 from the stack")
219 __description("Spill a u32 const scalar.  Refill as u16.  Offset to skb->data")
251 __description("Spill u32 const scalars.  Refill as u64.  Offset to skb->data")
277 __description("Spill a u32 const scalar.  Refill as u16 from MSB.  Offset to skb->data")
309 __description("Spill and refill a u32 const scalar at non 8byte aligned stack addr.  Offset to skb-…
336 __description("Spill and refill a umax=40 bounded scalar.  Offset to skb->data")
371 __description("Spill a u32 scalar at fp-4 and then at fp-8")
386 __description("32-bit spill of 64-bit reg should clear ID")
426 __description("16-bit spill of 32-bit reg should clear ID")
792 __description("32-bit spilled reg range should be tracked")
823 __description("64-bit spill of 64-bit reg should assign ID")
857 __description("32-bit spill of 32-bit reg should assign ID")
890 __description("16-bit spill of 16-bit reg should assign ID")
923 __description("8-bit spill of 8-bit reg should assign ID")
956 __description("spill unbounded reg, then range check src")
983 __description("32-bit fill after 64-bit spill")
1014 __description("32-bit fill after 64-bit spill of 32-bit value should preserve ID")
1050 __description("32-bit fill after 64-bit spill should clear ID")