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 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 | 261 +++++++++++------- .../selftests/bpf/prog_tests/verifier.c | 2 + .../bpf/progs/verifier_fmod_ret_return.c | 60 ++++ 3 files changed, 229 insertions(+), 94 deletions(-) create mode 100644 tools/testing/selftests/bpf/progs/verifier_fmod_ret_return.c -- 2.43.0
