sgxray

SGXRay: SGXアプリケーションの脆弱性検出の自動化 Intel...

CVE-2021-29155

这是 CVE-2021-29155 的漏洞验证（PoC）代码。 投机执行域中指针运算的范围跟踪系统存在不足。 攻击者可以通过侧信道提取内核数据。 这是一个概念验证，你可以从我们的映射（map）最后一个元素起越界读取最多 0x5fff 字节的数据。 此问题已在 5.12 中修复 https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/patch/kernel/bpf/verifier.c?id=7fedb63a8307dda0ec3b8969a3b233a1dd7ea8e0 ，并向后移植到多个 LTS 内核。...

CVE-2026-7878-eBPF-Verifier-Type-Confusion-Kernel-Memory-Read-Write

6. CVE-2026-7878 – eBPF 验证器类型混淆 → 内核内存读写 概述 eBPF 验证器边界跟踪中的一个细微整数溢出，允许攻击者构造一个可访问越界内核内存的 eBPF 程序。 严重性： 严重（内核权限提升） 用户态 eBPF 验证器模拟器（C）与漏洞利用 root@kitploit: // ebpfverifiersim.c - Simulated vulnerable verifier with type confusion include include include include define MEMSIZE 256 uint8t...

authproof-sdk

AuthProof SDK AuthProof はエージェント型AIのための暗号化委任プロトコルです。この分野のほとんどのプロトコルは、オペレーターが定義したポリシーに基づいて強制を行います。つまり、オペレーターはユーザーの本来の意図を後から拡大または再解釈する権限を持ちます。AuthProof...

CVE-2017-16995

漏洞描述 Ubuntu是一个以桌面应用为主的开源GNU/Linux操作系统，基于Debian GNU/Linux 。近期有白帽子爆出 ubuntu 的最新版本（Ubuntu 16.04）存在本地提权漏洞，漏洞编号为CVE-2017-16995。该漏洞存在于调用eBPF bpf2的Linux内核系统中，当用户提供恶意BPF程序使eBPF验证器模块产生计算错误，导致任意内存读写问题， 低权限用户可使用此漏洞获得管理权限。 该漏洞在老版本中已经得到修复，然而最新版本中仍然可被利用，官方暂未发布相关补丁，漏洞处于0day状态。 影响版本 Linux Kernel Version 4.14-4.4...

morty

Morty Web content sanitizer proxy as a service Morty rewrites web pages to exclude malicious HTML tags and attributes. It also replaces external resource references to prevent third party information leaks. The main goal of morty is to provide a result proxy for searx, but it can be used as a...

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 函数，允许本地用户通过利用不正确的符号扩展来造成拒绝服务（内存损坏），或可能产生其他未指明的影响。...

sgxray

SGXRay: Automating Vulnerability Detection for SGX Apps Intel SGX protects isolated application logic and sensitive data inside an enclave with hardware-based memory encryption. To use such hardware-based security mechanism requires a strict programming model on memory usage， with complex APIs in...

CVE-2022-23222

CVE-2022-23222 如果你只想构建并运行这个东西，点这里。 下面大致是对这篇中文文章（writeup）的翻译， 原文见此处。 我们将以 5.13.0 版本的主线内核代码作为参考。 可用的指针类型与检查其边界的函数之间存在不匹配。 这种不匹配最早在 Linux 5.8 中引入，此后已被修补。 可用指针类型的列表见 此处。c / types of values stored in eBPF registers / / Pointer types represent: pointer pointer + imm pointer + u16 var pointer + u16 var ...

CVE-2017-16995

Linux カーネル バージョン 4.14 - 4.4 Ubuntu && Debian 説明 この脆弱性はLinuxカーネルに搭載されているeBPF bpf2システムコールに存在し、ユーザーが悪意のあるBPFプログラムを提供することでeBPF検証モジュールの計算エラーを引き起こし、任意のメモリ読み書き問題を引き起こします。非特権ユーザーはこの脆弱性を利用して権限昇格を得ることができます。脆弱性はGoogle Project Zeroによって発見されました。 脆弱性番号 CVE-2017-16995 脅威レベル 高リスク デモ root@kitploit:...

cve-2021-3490-ebpf-analysis

cve-2021-3490-ebpf-analysis 研究实现，演示与 CVE-2021-3490 相关的 Linux eBPF 子系统交互。包含 BPF map 创建、系统调用封装、命名空间设置和验证器分析。仅用于教育和安全研究目的。 CVE-2021-3490 – eBPF 验证器边界跟踪分析 概述 本仓库包含探索 Linux 内核 eBPF 子系统的 C 实现，涉及 CVE-2021-3490，这是一个涉及 eBPF 验证器中 32 位边界跟踪不正确的漏洞。 该项目的目标是理解 bpf 系统调用的内部工作方式、如何从用户空间创建和管理 BPF...

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 结构 https://ph4ntonn.github.io/CVE-2017-16995-structure.html EXP 此处下载，请自行编译...

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 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 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 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,...

CVE-2026-31413-BPF-Container-Escape

CVE-2026-31413: One Byte in the BPF Verifier to Container Escape I found a soundness bug in the Linux BPF verifier - a + 1 in a pushstack call that causes the verifier to skip an ALU instruction on a forked path. For BPFOR, this means the verifier tracks dst = 0 while the CPU computes 0 | K = K. ...

grlh

用一个奇怪的小技巧禁用 eBPF 验证器 如 twitter.com 上所见 https://twitter.com/bleidl/status/871527499984982016...

CVE-2026-53670

PREVAIL is a Polynomial-Runtime EBPF Verifier using an Abstract Interpretation Layer. Prior to version 0.2.4, in the Prevail eBPF verifier, EbpfTransformer::add silently skips offset-variable updates when the destination register carries a non-singleton typeset two or more simultaneously possible...

CVE-2026-53671

PREVAIL is a Polynomial-Runtime EBPF Verifier using an Abstract Interpretation Layer. Prior to version 0.2.4, the abstract transformer in prevail treats writes through a TCTX-typed base register as a silent no-op: domemstore in src/crab/ebpftransformer.cpp only models TSTACK stores, and the...