On 12/13/2018 08:42 PM, Alexei Starovoitov wrote: > v1->v2: > with optimization suggested by Jakub patch 4 safety check became cheap enough. > > 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(-) >
Applied, thanks!
