> Marat Khalili (24): > bpf: format and dump jlt, jle, jslt, and jsle > bpf: add format instruction function > bpf/validate: break on error in evaluate > bpf/validate: expand comments in evaluate cycle > bpf/validate: introduce debugging interface > bpf/validate: fix BPF_ADD of pointer to a scalar > bpf/validate: fix BPF_LDX | EBPF_DW signed range > test/bpf_validate: add setup and basic tests > test/bpf_validate: add harness for pointer tests > bpf/validate: fix EBPF_JSLT | BPF_X evaluation > bpf/validate: fix BPF_NEG of INT64_MIN and 0 > bpf/validate: fix BPF_DIV and BPF_MOD signed part > bpf/validate: fix BPF_MUL ranges minimum typo > bpf/validate: fix BPF_MUL signed overflow UB > bpf/validate: fix BPF_JGT/EBPF_JSGT no-jump max > bpf/validate: fix BPF_JMP source range calculation > bpf/validate: fix BPF_JMP empty range handling > bpf/validate: fix BPF_AND min calculations > bpf/validate: fix BPF_LSH shift-out-of-bounds UB > bpf/validate: fix BPF_OR min calculations > bpf/validate: fix BPF_SUB signed max zero case > bpf/validate: fix BPF_XOR signed min calculation > bpf/validate: prevent overflow when building graph > doc: add release notes for BPF validation fixes
Applied, thanks.
