selftests/bpf: No non-NULL inference from an imprecise zero register

Browse source

Check that a register-form NULL check does not lift PTR_MAYBE_NULL on
a path where the compared register is non-zero. W/o the previous patch
the program is accepted.

Reported-by: Nicholas Carlini <npc@anthropic.com>
Suggested-by: Nicholas Carlini <npc@anthropic.com>
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/bpf/20260904083325.2083493-8-eddyz87@gmail.com
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>

...

This commit is contained in:

Eduard Zingerman 2026-09-04 01:33:25 -07:00 • committed by Kumar Kartikeya Dwivedi

parent 6aed0134d3

commit 6b31560c6b

No known key found for this signature in database

GPG key ID: 472D377B63542F83

1 changed files with 34 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

34

tools/testing/selftests/bpf/progs/verifier_jeq_infer_not_null.c

View file