| commit | bab89add3e7b74be46e319d1fcba7835cb60ea2b | [log] [tgz] |
|---|---|---|
| author | Daniel Borkmann <daniel@iogearbox.net> | Sat Dec 15 01:28:33 2018 +0100 |
| committer | Daniel Borkmann <daniel@iogearbox.net> | Sat Dec 15 01:28:34 2018 +0100 |
| tree | 0ed48c83d6898b667998b3914eba94b28bc4d602 | |
| parent | eb415c98980fd13618c64b0d88c2439103b4a627 [diff] | |
| parent | 9242b5f5615c823bfc1e9aea284617ff25a55f10 [diff] |
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>