| Subject | bpf/verifier: optimize precision backtracking by skipping precise bits |
|---|---|
| Author | realwujing@gmail.com |
| Date | 2026-01-16 04:58:39 +0000 UTC |
| Version | |
| Cc | andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com haoluo@google.com john.fastabend@gmail.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 |
| Name | Content [All] |
|---|---|
| [PATCH v2] bpf/verifier: optimize precision backtracking by skipping precise bits | [Body] |
| ID (for dev) | ea5788c0-8102-454f-a0eb-4a84c4c2ec73 |
|---|---|
| Status | finished |
| Triaged | OK [Log] |
| Execution Log | [Link] |
| Test | Base | Patched | Verdict |
|---|---|---|---|
| [KASAN] Build Base | ab86d0bf01f6d0e37fd67761bb62918321b64efc [Config] | passed [Log] | |
| [KASAN] Boot test: Base | ab86d0bf01f6d0e37fd67761bb62918321b64efc [Config] | passed [Log] | |
| [KASAN] Build Patched | ab86d0bf01f6d0e37fd67761bb62918321b64efc [Config] [patched] | passed [Log] | |
| [KASAN] Boot test: Patched | ab86d0bf01f6d0e37fd67761bb62918321b64efc [Config] [patched] | passed [Log] | |
| [KASAN] Fuzzing | ab86d0bf01f6d0e37fd67761bb62918321b64efc [Config] | ab86d0bf01f6d0e37fd67761bb62918321b64efc [Config] [patched] | passed [Log] [Artifacts] |