| Subject | bpf/verifier: optimize precision backtracking by skipping precise bits |
|---|---|
| Author | realwujing@gmail.com |
| Date | 2026-01-17 10:09:22 +0000 UTC |
| Version | |
| Cc | andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com haoluo@google.com jolsa@kernel.org kpsingh@kernel.org linux-kernel@vger.kernel.org martin.lau@linux.dev realwujing@gmail.com sdf@fomichev.me song@kernel.org yonghong.song@linux.dev yuanql9@chinatelecom.cn |
| Name | Content [All] |
|---|---|
| [PATCH v3] bpf/verifier: optimize precision backtracking by skipping precise bits | [Body] |
| ID (for dev) | 2374d5cc-c662-498e-9d41-02d39e43e594 |
|---|---|
| Status | finished |
| Triaged | OK [Log] |
| Execution Log | [Link] |
| Test | Base | Patched | Verdict |
|---|---|---|---|
| [KASAN] Build Base | c537e12daeecaecdcd322c56a5f70659d2de7bde [Config] | passed [Log] | |
| [KASAN] Boot test: Base | c537e12daeecaecdcd322c56a5f70659d2de7bde [Config] | passed [Log] | |
| [KASAN] Build Patched | c537e12daeecaecdcd322c56a5f70659d2de7bde [Config] [patched] | passed [Log] | |
| [KASAN] Boot test: Patched | c537e12daeecaecdcd322c56a5f70659d2de7bde [Config] [patched] | passed [Log] | |
| [KASAN] Fuzzing | c537e12daeecaecdcd322c56a5f70659d2de7bde [Config] | c537e12daeecaecdcd322c56a5f70659d2de7bde [Config] [patched] | passed [Log] [Artifacts] |