diff options
| author | Yiyang Chen <chenyy23@mails.tsinghua.edu.cn> | 2026-07-29 15:18:29 +0000 |
|---|---|---|
| committer | Eduard Zingerman <eddyz87@gmail.com> | 2026-07-31 12:45:28 -0700 |
| commit | cdf19b1b3c01791de074ce282089131026f52261 (patch) | |
| tree | c61c7bc1dd238f25c73640e93f8f00bf7d9d40bb /tools/perf/scripts/python/task-analyzer.py | |
| parent | a4c6f804b44c5c790269b25e0e61cf4e9f117c86 (diff) | |
bpf: Propagate untrusted pointer state in commuted arithmetic
The untrusted PTR_TO_MEM early return skips pointer offset tracking
because accesses go through probe-read handling. Moving it after full
pointer-state propagation ensures scalar += untrusted_pointer leaves the
destination as PTR_TO_MEM instead of an unrelated scalar.
Fixes: f2362a57aeff ("bpf: allow void* cast using bpf_rdonly_cast()")
Signed-off-by: Yiyang Chen <chenyy23@mails.tsinghua.edu.cn>
Tested-by: Daniel Wade <danjwade95@gmail.com>
Link: https://patch.msgid.link/20260729-c3-035-public-bpf-v4-v4-3-8ee297e2346b@mails.tsinghua.edu.cn
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Diffstat (limited to 'tools/perf/scripts/python/task-analyzer.py')
0 files changed, 0 insertions, 0 deletions