vbpf Prevail up to 0.2.3 Abstract Transformer ebpf_transformer.cpp do_mem_store memory corruption

Summaryinfo

A vulnerability was found in vbpf Prevail up to 0.2.3. It has been rated as critical. This affects the function do_mem_store of the file src/crab/ebpf_transformer.cpp of the component Abstract Transformer. The manipulation leads to memory corruption. This vulnerability is traded as CVE-2026-53671. An attack has to be approached locally. There is no exploit available.

Detailsinfo

A vulnerability, which was classified as critical, has been found in vbpf Prevail up to 0.2.3. This issue affects the function do_mem_store of the file src/crab/ebpf_transformer.cpp of the component Abstract Transformer. The manipulation with an unknown input leads to a memory corruption vulnerability. Using CWE to declare the problem leads to CWE-119. The product performs operations on a memory buffer, but it can read from or write to a memory location that is outside of the intended boundary of the buffer. Impacted is confidentiality, integrity, and availability. The summary by CVE is:

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.

It is possible to read the advisory at github.com. The identification of this vulnerability is CVE-2026-53671 since 06/09/2026. The exploitation is known to be easy. Attacking locally is a requirement. Additional levels of successful authentication are needed for exploitation. It demands that the victim is doing some kind of user interaction. Technical details of the vulnerability are known, but there is no available exploit.

Upgrading to version 0.2.4 eliminates this vulnerability.

Be aware that VulDB is the high quality source for vulnerability data.

Productinfo

Vendor

• vbpf

Name

• Prevail

Version

• 0.2.0
• 0.2.1
• 0.2.2
• 0.2.3

Website

• Product: https://github.com/vbpf/prevail/

CPE 2.3info

• 🔒
• 🔒
• 🔒

CPE 2.2info

• 🔒
• 🔒
• 🔒

CVSSv4info

CVSSv3info

CVSSv2info

Exploitinginfo

Threat Intelligenceinfo

Countermeasuresinfo

Timelineinfo

Sourcesinfo

Entryinfo

Be aware that VulDB is the high quality source for vulnerability data.

Discussion