| Subject | bpf: Add value tracking for BPF_DIV |
|---|---|
| Author | tangyazhou@zju.edu.cn |
| Date | 2025-12-23 09:10:49 +0000 UTC |
| Version | 2 |
| 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 tangyazhou518@outlook.com tangyazhou@zju.edu.cn yonghong.song@linux.dev ziye@zju.edu.cn |
| Name | Content [All] |
|---|---|
| [PATCH bpf-next v2 1/2] bpf: Add interval and tnum analysis for signed and unsigned BPF_DIV | [Body] |
| [PATCH bpf-next v2 2/2] selftests/bpf: Add tests for BPF_DIV analysis | [Body] |
| ID (for dev) | 6f4b5858-abcc-4396-bd49-cc622690fdb8 |
|---|---|
| Status | finished |
| Triaged | OK [Log] |
| Execution Log | [Link] |
| Test | Base | Patched | Verdict | ||
|---|---|---|---|---|---|
| [KASAN] Build Base | ec439c38013550420aecc15988ae6acb670838c1 [Config] | passed [Log] | |||
| [KASAN] Boot test: Base | ec439c38013550420aecc15988ae6acb670838c1 [Config] | passed [Log] | |||
| [KASAN] Build Patched | ec439c38013550420aecc15988ae6acb670838c1 [Config] [patched] | passed [Log] | |||
| [KASAN] Boot test: Patched | ec439c38013550420aecc15988ae6acb670838c1 [Config] [patched] | passed [Log] | |||
| [KASAN] Fuzzing | ec439c38013550420aecc15988ae6acb670838c1 [Config] | ec439c38013550420aecc15988ae6acb670838c1 [Config] [patched] | passed [Log] [Artifacts] | ||
|
|||||