projects / platform / kernel / linux-rpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5956f30) | patch
bpf: mark relevant stack slots scratched for register read instructions
authorAndrii Nakryiko <andrii@kernel.org>
Fri, 5 May 2023 04:33:09 +0000 (21:33 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 5 May 2023 05:35:34 +0000 (22:35 -0700)
commite0bf462276b6ee23203365eacb5c599f42a5a084
treeba32252196d0584abb71a6ba53eca5e3968d2e30tree | snapshot
parent5956f3011604f03be073cba0fbe5f399b4d779eccommit | diff
bpf: mark relevant stack slots scratched for register read instructions

When handling instructions that read register slots, mark relevant stack
slots as scratched so that verifier log would contain those slots' states, in
addition to currently emitted registers with stack slot offsets.

Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20230505043317.3629845-3-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c diff | blob | history
Domain: System / Kernel;