CVE-2017-16995

CVE-2017-16995 CVE 编号： CVE-2017-16995 发布日期： 2017-12-27T17:08:17.670 基础得分（CVSS 3.0/3.1）： 7.8 描述： Linux 内核至 4.4 版本中的 kernel/bpf/verifier.c 文件的 checkaluop 函数，允许本地用户通过利用不正确的符号扩展来造成拒绝服务（内存损坏），或可能产生其他未指明的影响。...

CVE-2021-29155

これはCVE-2021-29155の概念実証コードです。 投機的実行領域におけるポインタ演算の範囲追跡システムは不十分でした。 サイドチャネル経由でカーネルデータを抽出することが可能でした。 これは概念実証であり、マップの最後の要素から先へ最大0x5fffバイトの範囲外読み取りができます。 この問題は5.12で修正され（https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/patch/kernel/bpf/verifier.c?id=7fedb63a8307dda0ec3b8969a3b233a1dd7ea8...

CVE-2017-16995

CVE-2017-16995 CVE-2017-16995の脆弱性と関連分析を自分で試行錯誤した記録 （自分で見つけられればいいな、笑） 概要 この脆弱性は、bpf仮想実行時に検証器の分岐判断ミスによって引き起こされるLPEです 原理的には整数拡張の脆弱性です 分析 トリガー https://ph4ntonn.github.io/CVE-2017-16995-trigger.html エクスプロイト https://ph4ntonn.github.io/CVE-2017-16995-exploit.html 構造...

Linux Distros Unpatched Vulnerability : CVE-2026-93125

The Linux/Unix host has one or more packages installed that are impacted by a vulnerability without a vendor supplied patch available. - bpf: Reject rdonly/rdwrbufsize kfunc arguments that exceed u32 max checkkfuncargs detects a kfunc argument named rdonlybufsize or rdwrbufsize and stores...

DEBIAN-CVE-2026-90217

In the Linux kernel, the following vulnerability has been resolved: bpf: Compare iterator types during state pruning An iterator stack slot can be MEMRCU or PTRUNTRUSTED. These states must not be equal, or the verifier can prune an unsafe path. Compare the pointer type for STACKITER slots...

EUVD-2026-81892

In the Linux kernel, the following vulnerability has been resolved: bpf: Fix sleepable check for tracing/lsm prog When CONFIGFUNCTIONERRORINJECTION is disabled, a sleepable tracing prog is allowed to attach to 'x64'-alike prefix symbols. It is because the verifier does not verify whether the symb...

CVE-2026-90299 bpf: Fix sleepable check for tracing/lsm prog

In the Linux kernel, the following vulnerability has been resolved: bpf: Fix sleepable check for tracing/lsm prog When CONFIGFUNCTIONERRORINJECTION is disabled, a sleepable tracing prog is allowed to attach to 'x64'-alike prefix symbols. It is because the verifier does not verify whether the symb...

EUVD-2026-81810

In the Linux kernel, the following vulnerability has been resolved: bpf: Compare iterator types during state pruning An iterator stack slot can be MEMRCU or PTRUNTRUSTED. These states must not be equal, or the verifier can prune an unsafe path. Compare the pointer type for STACKITER slots...

CVE-2026-90217 bpf: Compare iterator types during state pruning

In the Linux kernel, the following vulnerability has been resolved: bpf: Compare iterator types during state pruning An iterator stack slot can be MEMRCU or PTRUNTRUSTED. These states must not be equal, or the verifier can prune an unsafe path. Compare the pointer type for STACKITER slots...

CVE-2026-31413-BPF-Container-Escape

CVE-2026-31413: 从 BPF 验证器中的一个字节到容器逃逸 我在 Linux BPF 验证器中找到一个健全性漏洞——pushstack 调用中的 + 1 导致验证器在分叉路径上跳过一条 ALU 指令。对于 BPFOR，这意味着验证器跟踪 dst = 0，而 CPU 实际计算 0 | K = K。我编写了一个完整的容器逃逸利用：从 BPF map 进行越界（OOB）读写、劫持 vtable、覆盖 modprobepath，最终在宿主机上获得 root 权限。随后我提交了一个包含两个补丁的补丁系列——一个单字符的验证器修复和 90 行 selftests——并将其合并到主线内核...

CVE-2020-8835

CVE-2020-8835 root@kitploit: Linuxカーネル5.5.0以降では、bpf検証器（kernel/bpf/verifier.c）が32ビット演算のレジスタ境界を適切に制限しないため、カーネルメモリ内での範囲外読み取りおよび書き込みが発生します。 この脆弱性は、導入コミットがそのブランチにバックポートされたため、v5.4.7以降のLinux 5.4安定シリーズにも影響します。 この脆弱性は、5.6.1、5.5.14、5.4.29で修正されました。...

Astra Linux – Vulnerability in Linux 6.1

In the Linux kernel, the following vulnerabilities have been resolved: bpf: Fixed the overloading of the meaning of MEMUNINIT Lonial reported an issue with the BPF verifier, where the checkmemsizereg function contains the following code: c if !tnumisconstreg-varoff / For unprivileged variable...

Astra Linux – Vulnerability in Linux 5.15

In the Linux kernel, the following vulnerability has been resolved: bpf: Skip invalid kfunc call in backtrackinsn The verifier skips invalid kfunc calls in checkkfunccall. Such calls would be caught by fixupkfunccall if they aren’t eliminated through dead code elimination. However, this can lead ...

Astra Linux – Vulnerability in Linux

The kernel/bpf/verifier.c file in the Linux kernel, as of version 5.12.1, performs undesirable speculative loads. This leads to the disclosure of stack contents through side-channel attacks, known as CID-801c6058d14a. The main issue is that the BPF stack area is not properly protected against...

Astra Linux – Vulnerability found in Linux 5.10, Linux 6.1, and Linux 5.15

In the Linux kernel, the following vulnerability has been resolved: bpf: synclinked regs must preserve subregdef Range propagation must not affect subregdef marks. Otherwise, the following example is rewritten incorrectly by the verifier when the BPFFTESTRNDHI32 flag is set: 0: call bpfktimegetns...

Astra Linux – Vulnerability in Linux 5.15

In the Linux kernel, the following vulnerability has been resolved: bpf, verifier: Fixed a memory leak in array reallocation for stack state. If an error NULL is returned by krealloc, callers of reallocarray would set their allocation pointers to NULL. However, when an error occurs in krealloc, i...

The vulnerability of the adjust_reg_min_max_vals() function in the kernel/bpf/verifier.c module of the Linux operating system allows a attacker to compromise the confidentiality, integrity, and accessibility of the protected information.

The vulnerability of the adjustregminmaxvals function in the kernel/bpf/verifier.c module of the Linux operating system is related to improper handling of an additional special element. Exploiting this vulnerability could allow an attacker to compromise the confidentiality, integrity, and...

The vulnerability of the check_scalar_ids() function in the kernel/bpf/verifier.c module of the Linux operating system allows a attacker to compromise the confidentiality, integrity, and accessibility of the protected information.

The vulnerability of the checkscalarids function in the kernel/bpf/verifier.c module of the Linux operating system is related to state management errors. Exploiting this vulnerability could allow an attacker to compromise the confidentiality, integrity, and accessibility of the protected...

The vulnerability of the map_kptr_match_type() function in the kernel/bpf/verifier.c module, which is part of the BPF interpreter support in the Linux operating system’s kernel, allows a hacker to trigger a service failure.

The vulnerability of the mapkptrmatchtype function in the kernel/bpf/verifier.c module, which is part of the BPF interpreter for Linux kernel, relates to pointer manipulation. Exploiting this vulnerability could allow an attacker to trigger a system failure...

The vulnerability of the functions check_ld_abs() and visit_insn() in the kernel/bpf/verifier.c module of the Linux operating system allows a attacker to compromise the confidentiality, integrity, and accessibility of the protected information.

The vulnerability of the functions checkldabs and visitinsn in the kernel/bpf/verifier.c module of the Linux operating system’s kernel relates to the improper handling of an additional special element. Exploiting this vulnerability could allow an attacker to compromise the confidentiality,...