diff options
| author |   Daniel Borkmann <daniel@iogearbox.net> | 2018-12-15 01:28:33 +0100 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2018-12-15 01:28:34 +0100 |
| commit | bab89add3e7b74be46e319d1fcba7835cb60ea2b (patch) | |
| tree | 0ed48c83d6898b667998b3914eba94b28bc4d602 /tools/bpf | |
| parent | Merge branch 'bpf_line_info-in-verifier' (diff) | |
| parent | bpf: add self-check logic to liveness analysis (diff) | |
| download | linux-dev-bab89add3e7b74be46e319d1fcba7835cb60ea2b.tar.xz linux-dev-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 <daniel@iogearbox.net>
Diffstat (limited to 'tools/bpf')
0 files changed, 0 insertions, 0 deletions