| Published | Title | Version | Author | Status |
|---|---|---|---|---|
| 2026-03-03 09:39 UTC | bpf: Reset register ID for BPF_END value tracking | 1 | tangyazhou@zju.edu.cn | finished in 4h16m0s |
| 2026-02-04 11:15 UTC | bpf: Add bitwise tracking for BPF_END | 3 | ziye@zju.edu.cn | finished in 3h57m0s |
| 2026-02-04 09:11 UTC | bpf: Add bitwise tracking for BPF_END | 2 | ziye@zju.edu.cn | finished in 4h6m0s |
| 2026-02-02 13:35 UTC | bpf: Add bitwise tracking for BPF_END | 1 | ziye@zju.edu.cn | finished in 4h5m0s |
| 2026-01-19 08:54 UTC | bpf: Add range tracking for BPF_DIV and BPF_MOD | 5 | tangyazhou@zju.edu.cn | finished in 3h59m0s |
| 2026-01-16 10:32 UTC | bpf: Add range tracking for BPF_DIV and BPF_MOD | 4 | tangyazhou@zju.edu.cn | finished in 4h1m0s |
| 2026-01-13 10:35 UTC | bpf: Add range tracking for BPF_DIV and BPF_MOD | 3 | tangyazhou@zju.edu.cn | finished in 4h14m0s |
| 2025-12-23 09:10 UTC | bpf: Add value tracking for BPF_DIV | 2 | tangyazhou@zju.edu.cn |
finished
in 3h54m0s
[1 findings] |
| 2025-09-30 15:04 UTC | bpf: Correctly reject negative offsets for ALU ops | 1 | yazhoutang@foxmail.com | finished in 3h47m0s |