漏洞信息
尽管我们使用了先进的大模型技术,但其输出仍可能包含不准确或过时的信息。神龙努力确保数据的准确性,但请您根据实际情况进行核实和判断。
Vulnerability Title
PREVAIL: Context-write no-op in do_mem_store allows unsafe eBPF programs to pass verification
Vulnerability Description
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 T_CTX-typed base register as a silent no-op: do_mem_store in src/crab/ebpf_transformer.cpp only models T_STACK stores, and the checker's T_CTX bounds arm never tests AccessType::write. An attacker can craft an eBPF program that overwrites a context field (e.g., ctx->data), reload that field typed as T_PACKET, and dereference an attacker-controlled address — and prevail will report the program as safe. This issue has been patched in version 0.2.4.
CVSS Information
CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:H/VI:H/VA:N/SC:N/SI:N/SA:N
Vulnerability Type
数值计算不正确
Vulnerability Title
vbpf PREVAIL 数字错误漏洞
Vulnerability Description
vbpf PREVAIL是vbpf组织的一款功能丰富的软件平台。 vbpf PREVAIL 0.2.4之前版本存在数字错误漏洞,该漏洞源于抽象转换器将通过T_CTX类型基本寄存器的写入视为静默无操作,且未检查AccessType::write,导致攻击者可构造eBPF程序覆盖上下文字段(如ctx->data)、将其重新加载为T_PACKET类型并取消引用攻击者控制的地址,而PREVAIL会误报该程序为安全。
CVSS Information
N/A
Vulnerability Type
N/A