diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-09-04 17:05:52 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-09-04 18:17:29 -0700 |
| commit | 1a3a10b030c96ea88868ccc060a16827c01eaa5a (patch) | |
| tree | d374663baaac75b1b59540f22cefc6632d92d114 /scripts/Makefile.thinlto | |
| parent | 519f858317afc52e986817ad63fd68172dd38b6c (diff) | |
| download | linux-1a3a10b030c96ea88868ccc060a16827c01eaa5a.tar.gz linux-1a3a10b030c96ea88868ccc060a16827c01eaa5a.zip | |
bpf: mark a NULL call argument precise
check_func_arg() allows bpf_register_is_null() for nullable arguments
w/o marking the underlying scalar register precise. Hence a checkpoint
created on such a path would prune against arbitrary scalar value.
check_helper_call() enforces second parameter of the
bpf_get_local_storage() to be zero, w/o marking the underlying scalar
register precise. Hence a checkpoint created on such a path would
prune against arbitrary scalar value.
Grouping these two into one patch, as they share the same fixes tag.
Fixes: b5dc0163d8fd ("bpf: precise scalar_value tracking")
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260904-register-is-null-precise-fixes-v1-1-0f5a360ff15d@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'scripts/Makefile.thinlto')
0 files changed, 0 insertions, 0 deletions