Re: [PATCH bpf v3 2/2] selftests/bpf: Add test cases to assert proper ID tracking on spill

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Subject: Re: [PATCH bpf v3 2/2] selftests/bpf: Add test cases to assert proper ID tracking on spill
From: Yonghong Song <yhs@xxxxxxxx>
Date: Tue, 6 Jun 2023 18:40:05 -0700
Cc: netdev@xxxxxxxxxxxxxxx, linux-kselftest@xxxxxxxxxxxxxxx, Daniel Borkmann <daniel@xxxxxxxxxxxxx>, John Fastabend <john.fastabend@xxxxxxxxx>, Alexei Starovoitov <ast@xxxxxxxxxx>, Andrii Nakryiko <andrii@xxxxxxxxxx>, Martin KaFai Lau <martin.lau@xxxxxxxxx>, Eduard Zingerman <eddyz87@xxxxxxxxx>, Maxim Mikityanskiy <maxim@xxxxxxxxxxxxx>, Song Liu <song@xxxxxxxxxx>, Yonghong Song <yhs@xxxxxx>, KP Singh <kpsingh@xxxxxxxxxx>, Stanislav Fomichev <sdf@xxxxxxxxxx>, Hao Luo <haoluo@xxxxxxxxxx>, Jiri Olsa <jolsa@xxxxxxxxxx>, Mykola Lysenko <mykolal@xxxxxx>, Shuah Khan <shuah@xxxxxxxxxx>, "David S. Miller" <davem@xxxxxxxxxxxxx>, Jakub Kicinski <kuba@xxxxxxxxxx>, Jesper Dangaard Brouer <hawk@xxxxxxxxxx>
In-reply-to: <20230606214246.403579-3-maxtram95@gmail.com>
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.11.2



On 6/6/23 2:42 PM, Maxim Mikityanskiy wrote:

From: Maxim Mikityanskiy <maxim@xxxxxxxxxxxxx>

The previous commit fixed a verifier bypass by ensuring that ID is not
preserved on narrowing spills. Add the test cases to check the
problematic patterns.

Signed-off-by: Maxim Mikityanskiy <maxim@xxxxxxxxxxxxx>


Acked-by: Yonghong Song <yhs@xxxxxx>

References:
- [PATCH bpf v3 0/2] Fix BPF verifier bypass on scalar spill
  - From: Maxim Mikityanskiy
- [PATCH bpf v3 2/2] selftests/bpf: Add test cases to assert proper ID tracking on spill
  - From: Maxim Mikityanskiy

Prev by Date: Re: [RFC PATCH bpf-next v4 0/3] Handle immediate reuse in bpf memory allocator
Next by Date: Re: [PATCH bpf v3 2/2] selftests/bpf: Add test cases to assert proper ID tracking on spill
Previous by thread: [PATCH bpf v3 2/2] selftests/bpf: Add test cases to assert proper ID tracking on spill
Next by thread: Re: [PATCH bpf v3 2/2] selftests/bpf: Add test cases to assert proper ID tracking on spill
Index(es):
- Date
- Thread

[Index of Archives] [Linux Samsung SoC] [Linux Rockchip SoC] [Linux Actions SoC] [Linux for Synopsys ARC Processors] [Linux NFS] [Linux NILFS] [Linux USB Devel] [Video for Linux] [Linux Audio Users] [Yosemite News] [Linux Kernel] [Linux SCSI]