| Subject | bpf: verifier improvement in 32bit shift sign extension pattern |
|---|---|
| Author | cupertino.miranda@oracle.com |
| Date | 2025-11-24 18:00:12 +0000 UTC |
| Version | 2 |
| 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 |
| Name | Content [All] |
|---|---|
| [PATCH v2 1/2] bpf: verifier improvement in 32bit shift sign extension pattern | [Body] |
| [PATCH v2 2/2] selftests/bpf: add verifier sign extension bound computation tests. | [Body] |
| ID (for dev) | f683f799-03d7-48a6-b35a-22021ac31eeb |
|---|---|
| Status | finished |
| Triaged | OK [Log] |
| Execution Log | [Link] |
| Test | Base | Patched | Verdict |
|---|---|---|---|
| [KASAN] Build Base | 4722981cca373a338bbcf3a93ecf7144a892b03b [Config] | passed [Log] | |
| [KASAN] Boot test: Base | 4722981cca373a338bbcf3a93ecf7144a892b03b [Config] | passed [Log] | |
| [KASAN] Build Patched | 4722981cca373a338bbcf3a93ecf7144a892b03b [Config] [patched] | passed [Log] | |
| [KASAN] Boot test: Patched | 4722981cca373a338bbcf3a93ecf7144a892b03b [Config] [patched] | passed [Log] | |
| [KASAN] Fuzzing | 4722981cca373a338bbcf3a93ecf7144a892b03b [Config] | 4722981cca373a338bbcf3a93ecf7144a892b03b [Config] [patched] | passed [Log] [Artifacts] |