Hi everyone, This is the third series of these patches. Thank you Eduard and Yonghong for your reviews. Regards, Cupertino Changes from v1: - Reordered patches in the series. - Fix refactor to be acurate with original code. - Fixed other mentioned small problems. Changes from v2: - Added a patch to replace mark_reg_unknowon for __mark_reg_unknown in the context of range computation. - Reverted implementation of refactor to v1 which used a simpler boolean return value in check function. - Further relaxed MUL to allow it to still compute a range when neither of its registers is a known value. - Simplified tests based on Eduards example. - Added messages in selftest commits. Cupertino Miranda (6): bpf/verifier: replace calls to mark_reg_unknown. bpf/verifier: refactor checks for range computation bpf/verifier: improve XOR and OR range computation selftests/bpf: XOR and OR range computation tests. bpf/verifier: relax MUL range computation check selftests/bpf: MUL range computation tests. kernel/bpf/verifier.c | 139 ++++++++++-------- .../selftests/bpf/progs/verifier_bounds.c | 63 ++++++++ 2 files changed, 137 insertions(+), 65 deletions(-) -- 2.39.2
