Several improvements to verifier state logic. Patch 1 - trivial optimization Patch 3 - significant optimization for stack state equivalence Patch 4 - safety check for liveness and prep for future state merging
Alexei Starovoitov (4): bpf: speed up stacksafe check selftests/bpf: check insn processed in test_verifier bpf: improve stacksafe state comparison bpf: add self-check logic to liveness analysis include/linux/bpf_verifier.h | 1 + kernel/bpf/verifier.c | 125 ++++++++++++++++++-- tools/testing/selftests/bpf/test_verifier.c | 37 +++++- 3 files changed, 154 insertions(+), 9 deletions(-) -- 2.17.1
