diff options
| author | Daniel Borkmann <[email protected]> | 2018-12-15 00:28:33 +0000 |
|---|---|---|
| committer | Daniel Borkmann <[email protected]> | 2018-12-15 00:28:34 +0000 |
| commit | bab89add3e7b74be46e319d1fcba7835cb60ea2b (patch) | |
| tree | 0ed48c83d6898b667998b3914eba94b28bc4d602 /tools/bpf/bpftool/prog.c | |
| parent | Merge branch 'bpf_line_info-in-verifier' (diff) | |
| parent | bpf: add self-check logic to liveness analysis (diff) | |
| download | kernel-bab89add3e7b74be46e319d1fcba7835cb60ea2b.tar.gz kernel-bab89add3e7b74be46e319d1fcba7835cb60ea2b.zip | |
Merge branch 'bpf-improve-verifier-state-analysis'
Alexei Starovoitov says:
====================
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
====================
Signed-off-by: Daniel Borkmann <[email protected]>
Diffstat (limited to 'tools/bpf/bpftool/prog.c')
0 files changed, 0 insertions, 0 deletions