From: Feng Yang <[email protected]> This patch set adds return value validation for fmod_ret to prevent system crashes caused by incorrect return values.
Changes in v3: - Do not move the code, and make some formatting changes. Thanks, Leon Hwang. - Error injection always ensures that 0 is a valid return value. Thanks, Menglong Dong. - Link to v2: https://lore.kernel.org/all/[email protected]/ Changes in v2: - Add validation for fault injection and include selftests. Thanks, Jiri Olsa, Jiayuan Chen. - Link to v1: https://lore.kernel.org/all/[email protected]/ Feng Yang (2): bpf: Fix Null-Pointer Dereference in kernel_clone() via BPF fmod_ret on security_task_alloc selftests/bpf: Add selftests for verifying return values of fmod_ret. kernel/bpf/verifier.c | 114 +++++++++++++++++- .../selftests/bpf/prog_tests/verifier.c | 2 + .../bpf/progs/verifier_fmod_ret_return.c | 59 +++++++++ 3 files changed, 173 insertions(+), 2 deletions(-) create mode 100644 tools/testing/selftests/bpf/progs/verifier_fmod_ret_return.c -- 2.43.0
