diff options
| author | Cupertino Miranda <cupertino.miranda@oracle.com> | 2026-03-04 22:50:17 +0300 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-03-10 21:51:18 +0300 |
| commit | 2f4cb53eed448c1aeb6f4b40cf9c810716d8218c (patch) | |
| tree | 7fe8a69458989eec119bdcdb794ba2a89b8dfcdf /tools/testing | |
| parent | bd2e02e3c9215305dfa344c050d5822f19929cf7 (diff) | |
| download | linux-2f4cb53eed448c1aeb6f4b40cf9c810716d8218c.tar.xz | |
bpf: detect non null pointer with register operand in JEQ/JNE.
This patch adds support to validate a pointer as not null when its
value is compared to a register whose value the verifier knows to be
null.
Initial pattern only verifies against an immediate operand.
Signed-off-by: Cupertino Miranda <cupertino.miranda@oracle.com>
Cc: David Faust <david.faust@oracle.com>
Cc: Jose Marchesi <jose.marchesi@oracle.com>
Cc: Elena Zannoni <elena.zannoni@oracle.com>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260304195018.181396-3-cupertino.miranda@oracle.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/testing')
0 files changed, 0 insertions, 0 deletions