diff options
| author |   John Fastabend <john.fastabend@gmail.com> | 2020-03-30 14:37:19 -0700 |
|---|---|---|
| committer |   Alexei Starovoitov <ast@kernel.org> | 2020-03-30 15:00:30 -0700 |
| commit | d2db08c7a14e0b5eed6132baf258b80622e041a9 (patch) | |
| tree | 53dcba117b24937e8c4795bfee2f348b7f946d1d /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | bpf: Verifier, refine 32bit bound in do_refine_retval_range (diff) | |
| download | wireguard-linux-d2db08c7a14e0b5eed6132baf258b80622e041a9.tar.xz wireguard-linux-d2db08c7a14e0b5eed6132baf258b80622e041a9.zip | |
bpf: Test_progs, add test to catch retval refine error handling
Before this series the verifier would clamp return bounds of
bpf_get_stack() to [0, X] and this led the verifier to believe
that a JMP_JSLT 0 would be false and so would prune that path.
The result is anything hidden behind that JSLT would be unverified.
Add a test to catch this case by hiding an goto pc-1 behind the
check which will cause an infinite loop if not rejected.
Signed-off-by: John Fastabend <john.fastabend@gmail.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://lore.kernel.org/bpf/158560423908.10843.11783152347709008373.stgit@john-Precision-5820-Tower
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions