On Tue, Aug 23, 2022 at 11:53 AM Kumar Kartikeya Dwivedi <memxor@xxxxxxxxx> wrote: > > A fix for a missing mark_chain_precision call that leads to eager pruning and > loading of invalid programs when the more permissive case is in the straight > line exploration. Please see the commit log for details, and selftest for an > example. > > Kumar Kartikeya Dwivedi (2): > bpf: Do mark_chain_precision for ARG_CONST_ALLOC_SIZE_OR_ZERO > selftests/bpf: Add regression test for pruning fix > > kernel/bpf/verifier.c | 3 +++ > .../testing/selftests/bpf/verifier/precise.c | 25 +++++++++++++++++++ > 2 files changed, 28 insertions(+) > > -- > 2.34.1 > Makes sense and LGTM. Thanks! Acked-by: Andrii Nakryiko <andrii@xxxxxxxxxx>
