Patch Series

Subject bpf: verifier improvement in 32bit shift sign extension pattern
Author cupertino.miranda@oracle.com
Date 2025-12-02 18:02:19 +0000 UTC
Version 3
Cc andrew.pinski@oss.qualcomm.com bpf@vger.kernel.org cupertino.miranda@oracle.com david.faust@oracle.com eddyz87@gmail.com elena.zannoni@oracle.com jose.marchesi@oracle.com

Patches (2)

Name Content [All]
[PATCH v3 1/2] bpf: verifier improvement in 32bit shift sign extension pattern [Body]
[PATCH v3 2/2] selftests/bpf: add verifier sign extension bound computation tests. [Body]

Session 2025-12-02

ID (for dev) 15384b22-b1af-4f58-aed4-5fed9ce0c93b
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 5262cb23393f7e86a64d1a45eeaa8a6f99f03d10 [Config] passed [Log]
[KASAN] Boot test: Base 5262cb23393f7e86a64d1a45eeaa8a6f99f03d10 [Config] passed [Log]
[KASAN] Build Patched 5262cb23393f7e86a64d1a45eeaa8a6f99f03d10 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 5262cb23393f7e86a64d1a45eeaa8a6f99f03d10 [Config] [patched] passed [Log]
[KASAN] Fuzzing 5262cb23393f7e86a64d1a45eeaa8a6f99f03d10 [Config] 5262cb23393f7e86a64d1a45eeaa8a6f99f03d10 [Config] [patched] passed [Log] [Artifacts]