78 matches found
CVE-2017-16995
Описание уязвимости Ubuntu — это открытая операционная система GNU/Linux, ориентированная на настольные приложения, основанная на Debian GNU/Linux. Недавно белые хакеры обнаружили в последней версии Ubuntu Ubuntu 16.04 локальную уязвимость повышения привилегий, номер уязвимости — CVE-2017-16995...
CVE-2026-7878-eBPF-Verifier-Type-Confusion-Kernel-Memory-Read-Write
6. CVE-2026-7878 – eBPF 검증기 타입 혼동 → 커널 메모리 읽기/쓰기 개요 eBPF 검증기의 범위bounds 추적에서 발생하는 미묘한 정수 오버플로로 인해 공격자가 커널 메모리의 경계를 벗어난out-of-bounds 영역에 접근하는 eBPF 프로그램을 제작할 수 있습니다. 심각도: 치명적 커널 권한 상승 사용자 모드 eBPF 검증기 시뮬레이터C 및 익스플로잇 root@kitploit: // ebpfverifiersim.c - Simulated vulnerable verifier with type...
grlh
이상한 트릭 하나로 eBPF verifier 비활성화하기 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-53706
PREVAIL is a Polynomial-Runtime EBPF Verifier using an Abstract Interpretation Layer. Prior to version 0.2.4, the prevail eBPF verifier accepts ALU32 ADD and SUB instructions that operate on pointer-typed registers without checking the is64 flag. Because ALU32 arithmetic zero-extends the 32-bit...
CVE-2026-53706 PREVAIL: ALU32 pointer arithmetic accepted without is64 gate — verifier emits false PASS for pointer-corrupting programs
PREVAIL is a Polynomial-Runtime EBPF Verifier using an Abstract Interpretation Layer. Prior to version 0.2.4, the prevail eBPF verifier accepts ALU32 ADD and SUB instructions that operate on pointer-typed registers without checking the is64 flag. Because ALU32 arithmetic zero-extends the 32-bit...
CVE-2026-53706
PREVAIL is a Polynomial-Runtime eBPF Verifier using an Abstract Interpretation Layer. Prior to version 0.2.4 , the verifier accepts ALU32 ADD and SUB instructions that operate on pointer-typed registers without checking the is64 flag . Because ALU32 arithmetic zero-extends the 32-bit result, the ...
CVE-2026-53670 PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification
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-53670 PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification
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-53670
PREVAIL , a polynomial-runtime eBPF verifier using an abstract interpretation layer, is vulnerable to a verifier bypass prior to version 0.2.4 . In the EbpfTransformer::add() function, offset-variable updates are silently skipped when the destination register carries a non-singleton typeset (two ...
EUVD-2026-70244
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. Prior to version 0.2.4 , its abstract transformer in do_mem_store (src/crab/ebpf_transformer.cpp) silently ignores writes through a T_CTX -typed base register, and the checker's T_CTX bounds arm never tests AccessType::write. An attacker can craft an...
CVE-2017-16995
La dernière version d'Ubuntu Ubuntu 16.04 présente une vulnérabilité locale d'élévation de privilèges à haut risque, référencée CVE-2017-16995. Cette vulnérabilité réside dans le système du noyau Linux qui appelle eBPF bpf2. Lorsqu'un utilisateur fournit un programme BPF malveillant provoquant un...
CVE-2022-23222
CVE-2022-23222 Cliquez ici si vous voulez juste compiler et exécuter le truc. Ce qui suit est plus ou moins une traduction du writeup chinois, disponible ici. Nous utiliserons le code du noyau mainline pour la version 5.13.0 comme référence. Il y a une inadéquation entre les types de pointeurs...
CVE-2017-16995
Version du noyau Linux 4.14 - 4.4 Ubuntu && Debian Description Cette vulnérabilité existe dans l'appel système eBPF bpf2 du noyau Linux. Lorsqu'un utilisateur fournit un programme BPF malveillant, le module de validation eBPF produit une erreur de calcul, entraînant un problème de lecture/écritur...
cve-2021-3490-ebpf-analysis
cve-2021-3490-ebpf-analysis Implementação de pesquisa demonstrando interação com o subsistema eBPF do Linux relacionado ao CVE-2021-3490. Inclui criação de mapas BPF, wrappers de syscall, configuração de namespace e análise do verifier. Apenas para fins educacionais e de pesquisa em segurança...
explotability_analysis_ebpf
eBPF Verifier Exploit Research — s344024 Romano Simone Resear...
Unity Linux 20.1060e / 20.1070e Security Update: kernel (UTSA-2026-004488)
The Unity Linux 20 host has a package installed that is affected by a vulnerability as referenced in the UTSA-2026-004488 advisory. A vulnerability was found in the Linux kernel's EBPF verifier when handling internal data structures. Internal memory locations could be returned to userspace. A loc...
Unity Linux 20.1070e Security Update: kernel (UTSA-2026-001564)
The Unity Linux 20 host has a package installed that is affected by a vulnerability as referenced in the UTSA-2026-001564 advisory. A vulnerability was found in the Linux kernel's EBPF verifier when handling internal data structures. Internal memory locations could be returned to userspace. A loc...
CVE-2025-40143
In the Linux kernel, the following vulnerability has been resolved: bpf: dont report verifier bug for missing bpfsccvisit on speculative path Syzbot generated a program that triggers a verifierbug call in maybeexitscc. maybeexitscc assumes that, when called for a state with insnidx in some SCC,...