[PATCH v2 net-next 0/5] bpf: verifier fixes
flat view
STALE3351d
From: Edward Cree via iovisor-dev <hidden>
Date: 2017-08-23 14:07:20
Subsystem:
bpf [core], bpf [general] (safe dynamic programs and tools), bpf [selftests] (test runners & infrastructure), kernel selftest framework, the rest · Maintainers:
Alexei Starovoitov, Daniel Borkmann, Andrii Nakryiko, Eduard Zingerman, Kumar Kartikeya Dwivedi, Shuah Khan, Shuah Khan, Linus Torvalds
Fix a couple of bugs introduced in my recent verifier patches. Patch #2 does slightly increase the insn count on bpf_lxc.o, but only by about a hundred insns (i.e. 0.2%). v2: added test for write-marks bug (patch #1); reworded comment on propagate_liveness() for clarity. Alexei Starovoitov (1): selftests/bpf: add a test for a pruning bug in the verifier Edward Cree (4): selftests/bpf: add a test for a bug in liveness-based pruning bpf/verifier: when pruning a branch, ignore its write marks bpf/verifier: remove varlen_map_value_access flag bpf/verifier: document liveness analysis include/linux/bpf_verifier.h | 14 +++++- kernel/bpf/verifier.c | 78 +++++++++++++++++------------ tools/testing/selftests/bpf/test_verifier.c | 44 ++++++++++++++++ 3 files changed, 103 insertions(+), 33 deletions(-)