Patch Series

Subject bpf: Improve 64bits bounds refinement
Author paul.chaignon@gmail.com
Date 2025-07-25 19:07:02 +0000 UTC
Version 3
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com paul.chaignon@gmail.com shung-hsi.yu@suse.com yonghong.song@linux.dev

Patches (5)

Name Content [All]
[PATCH bpf-next v3 1/5] bpf: Improve bounds when s64 crosses sign boundary [Body]
[PATCH bpf-next v3 2/5] selftests/bpf: Update reg_bound range refinement logic [Body]
[PATCH bpf-next v3 3/5] selftests/bpf: Test cross-sign 64bits range refinement [Body]
[PATCH bpf-next v3 4/5] selftests/bpf: Test invariants on JSLT crossing sign [Body]
[PATCH bpf-next v3 5/5] bpf: Add third round of bounds deduction [Body]

Session 2025-07-25

ID (for dev) 7341fd6c-4e0d-41cd-a386-dee84f3bdc07
Status finished
Execution Log [Link]
Test Base Patched Verdict
Build Base 95993dc3039e29dabb9a50d074145d4cb757b08b [Config] passed [Log]
Build Patched 95993dc3039e29dabb9a50d074145d4cb757b08b [Config] [patched] passed [Log]
Boot test: Base 95993dc3039e29dabb9a50d074145d4cb757b08b [Config] passed
Boot test: Patched 95993dc3039e29dabb9a50d074145d4cb757b08b [Config] [patched] passed
Fuzzing 95993dc3039e29dabb9a50d074145d4cb757b08b [Config] 95993dc3039e29dabb9a50d074145d4cb757b08b [Config] [patched] passed [Log] [Artifacts]