mbox series

[net-next,0/7] bpf: verifier improvements and cleanups

Message ID 20171201053141.3992592-1-ast@fb.com
Headers show
Series bpf: verifier improvements and cleanups | expand

Message

Alexei Starovoitov Dec. 1, 2017, 5:31 a.m. UTC 
Small set of verifier improvements and cleanups which is
necessary for bigger patch set of bpf-to-bpf calls coming later.
See individual patches for details.
Tested on x86 and arm64 hw.

Alexei Starovoitov (7):
  bpf: fix stack state printing in verifier log
  bpf: print liveness info to verifier log
  bpf: don't mark FP reg as uninit
  bpf: improve verifier liveness marks
  bpf: improve JEQ/JNE path walking
  bpf: cleanup register_is_null()
  selftests/bpf: adjust test_align expected output

 kernel/bpf/verifier.c                    |  62 ++++++++----
 tools/testing/selftests/bpf/test_align.c | 156 +++++++++++++++----------------
 2 files changed, 120 insertions(+), 98 deletions(-)

Comments

Daniel Borkmann Dec. 1, 2017, 10:28 a.m. UTC | #1 
On 12/01/2017 06:31 AM, Alexei Starovoitov wrote:
> Small set of verifier improvements and cleanups which is
> necessary for bigger patch set of bpf-to-bpf calls coming later.
> See individual patches for details.
> Tested on x86 and arm64 hw.

Series applied to bpf-next, thanks Alexei!