The adjust_branches function in kernel/bpf/verifier.c in the Linux kernel before 4.5 does not consider the delta in the backward-jump case, which allows local users to obtain sensitive information from kernel memory by creating a packet filter and then loading crafted BPF instructions.
| Name | Vendor | Start Version | End Version |
|---|---|---|---|
| Linux_kernel | Linux | * | 4.5.0 (excluding) |
| Linux_kernel | Linux | 4.5.0-rc1 (including) | 4.5.0-rc1 (including) |
| Linux_kernel | Linux | 4.5.0-rc2 (including) | 4.5.0-rc2 (including) |
| Linux_kernel | Linux | 4.5.0-rc3 (including) | 4.5.0-rc3 (including) |