diff options
| author | Ning Ding <dingning04@gmail.com> | 2026-08-10 20:59:54 -0700 |
|---|---|---|
| committer | Eduard Zingerman <eddyz87@gmail.com> | 2026-08-11 14:57:00 -0700 |
| commit | 83608e303b95d07afba1c15da0b5d9e513c2f15a (patch) | |
| tree | d9112b0c533933a3da185586f289e8247da28943 /tools/perf/scripts/python/mem-phys-addr.py | |
| parent | d114bb98936770c501c958bf2bc5fb6b7c0bad7b (diff) | |
bpf: Compare iterator types during state pruning
An iterator stack slot can be MEM_RCU or PTR_UNTRUSTED. These states
must not be equal, or the verifier can prune an unsafe path.
Compare the pointer type for STACK_ITER slots.
Fixes: dfab99df147b ("bpf: teach the verifier to enforce css_iter and task_iter in RCU CS")
Signed-off-by: Ning Ding <dingning04@gmail.com>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://patch.msgid.link/20260811035955.132989-2-dingning04@gmail.com
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Diffstat (limited to 'tools/perf/scripts/python/mem-phys-addr.py')
0 files changed, 0 insertions, 0 deletions