Andrii Nakryiko

The issue is related to a use-after-free (UAF) vulnerability in the Linux kernel's BPF uprobe attachments. Uprobes use `bpf prog run array uprobe()` under tasks-trace-RCU protection, but it is possible to attach a non-sleepable BPF program to a uprobe. Non-sleepable BPF programs are freed via normal RCU, which can lead to UAF of the `bpf prog` because a normal RCU grace period does not imply a tasks-trace-RCU grace period. The vulnerability can be exploited to impact the confidentiality, integrity, and availability of protected information.

The issue is related to a null-pointer dereference in the libbpf component of the Linux kernel. Specifically, in the `bpf objec load prog()` function, there is no guarantee that `obj->btf` is non-NULL when passed to `btf fd()`, which does not perform any checks before dereferencing its argument. This can lead to segmentation fault errors when trying to load programs without BTF information, for example, in bpftool.

The issue is related to the Linux kernel's Berkeley Packet Filter (BPF) functionality, where the arithmetic for checking stack bounds was done in the 32-bit domain, potentially leading to integer overflows when adding a 64-bit register with an integer offset. The offset could come from an instruction, another register, or the size of an argument to a kernel function, and the inconsistent checking of the register's value could lead to overflows.

تم تحديد خطأ في نواة لينكس، يتعلق بالجمع بين تقنية JIT blinding ومؤشرات برامج BPF الفرعية. تتسبب هذه المشكلة في حدوث خطأ في الصفحة عندما يحاول النواة الوصول إلى عنوان غير صالح، مما يؤدي إلى البحث عن تعليمة المشرف في وضع النواة. تنشأ المشكلة لأن منطق تقنية JIT blinding يفشل في التعرف على التعليمات الخاصة، وتحديدًا `ld imm64` التي تحتوي على عنوان أحد البرامج الفرعية لـ BPF، ولا يقوم بتعريضها عشوائيًا. وهذا يؤدي إلى عدم قيام المرحلة الثانية من JIT بتعديل التعليمات الخاصة `ld imm64`.