| Subject | bpf: Add range tracking for BPF_DIV and BPF_MOD |
|---|---|
| Author | tangyazhou@zju.edu.cn |
| Date | 2026-01-16 10:32:45 +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 martin.lau@linux.dev sdf@fomichev.me shenghaoyuan0928@163.com song@kernel.org syzbot@syzkaller.appspotmail.com tangyazhou518@outlook.com tangyazhou@zju.edu.cn yonghong.song@linux.dev ziye@zju.edu.cn |
| Name | Content [All] |
|---|---|
| [PATCH bpf-next v4 1/2] bpf: Add range tracking for BPF_DIV and BPF_MOD | [Body] |
| [PATCH bpf-next v4 2/2] selftests/bpf: Add tests for BPF_DIV and BPF_MOD range tracking | [Body] |
| ID (for dev) | b9349861-f7b5-4925-b72d-de2fe837f781 |
|---|---|
| Status | finished |
| Triaged | OK [Log] |
| Execution Log | [Link] |
| Test | Base | Patched | Verdict |
|---|---|---|---|
| [KASAN] Build Base | 934d9746ed0206e93506a68c838fe82ef748576a [Config] | passed [Log] | |
| [KASAN] Boot test: Base | 934d9746ed0206e93506a68c838fe82ef748576a [Config] | passed [Log] | |
| [KASAN] Build Patched | 934d9746ed0206e93506a68c838fe82ef748576a [Config] [patched] | passed [Log] | |
| [KASAN] Boot test: Patched | 934d9746ed0206e93506a68c838fe82ef748576a [Config] [patched] | passed [Log] | |
| [KASAN] Fuzzing | 934d9746ed0206e93506a68c838fe82ef748576a [Config] | 934d9746ed0206e93506a68c838fe82ef748576a [Config] [patched] | passed [Log] [Artifacts] |