Patch Series

Subject bpf: Improve 64bits bounds refinement
Author paul.chaignon@gmail.com
Date 2025-07-24 13:42:03 +0000 UTC
Version 2
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 (4)

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

Session 2025-07-24

ID (for dev) 0a5c6b45-eae6-4c53-a807-916a3497d6e4
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]