diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2024-04-23 18:28:20 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2024-04-25 12:42:43 -0700 |
| commit | 980ca8ceeae69ddf362870ea9183f389ae26324a (patch) | |
| tree | b66c8c8eacef1fd3ce9d0dd4afa3f04643706a6b /rust | |
| parent | f612210d456a0b969a0adca91e68dbea0e0ea301 (diff) | |
| download | lwn-980ca8ceeae69ddf362870ea9183f389ae26324a.tar.gz lwn-980ca8ceeae69ddf362870ea9183f389ae26324a.zip | |
bpf: check bpf_dummy_struct_ops program params for test runs
When doing BPF_PROG_TEST_RUN for bpf_dummy_struct_ops programs,
reject execution when NULL is passed for non-nullable params.
For programs with non-nullable params verifier assumes that
such params are never NULL and thus might optimize out NULL checks.
Suggested-by: Kui-Feng Lee <sinquersw@gmail.com>
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20240424012821.595216-5-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'rust')
0 files changed, 0 insertions, 0 deletions