Patch Series

Subject bpf, verifier: Detect empty intersection between tnum and ranges
Author harishankar.vishwanathan@gmail.com
Date 2025-11-07 19:23:28 +0000 UTC
Version 1
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com haoluo@google.com harishankar.vishwanathan@gmail.com john.fastabend@gmail.com jolsa@kernel.org kpsingh@kernel.org linux-kernel@vger.kernel.org m.shachnai@gmail.com m.shachnai@rutgers.edu martin.lau@linux.dev paul.chaignon@gmail.com santosh.nagarakatte@rutgers.edu sdf@fomichev.me song@kernel.org srinivas.narayana@rutgers.edu yonghong.song@linux.dev

Patches (1)

Name Content [All]
[RFC PATCH 1/1] bpf, verifier: Introduce tnum_step to step through tnum's members [Body]

Session 2025-11-07

ID (for dev) 6313cd06-ee9b-4efe-851b-6e0c402f0572
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 11369e6e337a3c57ba60b7788046fb41e234b083 [Config] passed [Log]
[KASAN] Boot test: Base 11369e6e337a3c57ba60b7788046fb41e234b083 [Config] passed
[KASAN] Build Patched 11369e6e337a3c57ba60b7788046fb41e234b083 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 11369e6e337a3c57ba60b7788046fb41e234b083 [Config] [patched] passed
[KASAN] Fuzzing 11369e6e337a3c57ba60b7788046fb41e234b083 [Config] 11369e6e337a3c57ba60b7788046fb41e234b083 [Config] [patched] passed [Log] [Artifacts]