Search results

Add Intermediate Verbosity Mode for Minimal Failure Slices

Status: Open.

#995 In vbpf/prevail;

· Alan-Jowett opened on Feb 10, 2026

Create a Model‑Ready “Prevail Context Document” to Enable Accurate LLM-Assisted Diagnosis of Verification Failures

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#993 In vbpf/prevail;

· Alan-Jowett opened on Feb 10, 2026

The widening operator causes termination issues

soundnessAffects analysis correctness (false positives or false negatives)Affects analysis correctness (false positives or false negatives)

Status: Open.

#960 In vbpf/prevail;

· Maxime-Derri opened on Nov 27, 2025

Incorrect context descriptor classification

bugSomething isn't workingSomething isn't working

soundnessAffects analysis correctness (false positives or false negatives)Affects analysis correctness (false positives or false negatives)

Status: Open.

#959 In vbpf/prevail;

· Maxime-Derri opened on Nov 27, 2025

Alternative implementation for the CFG computation

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#953 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

WTO is computed multiple times

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#952 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

Generate assertions when they are needed

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#951 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

Global vs static subprogs

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#950 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

Improving execution time and memory consumption of invariant computation and assertion verification

performanceExecution time or memory consumptionExecution time or memory consumption

Status: Open.

#949 In vbpf/prevail;

· Maxime-Derri opened on Nov 9, 2025

The new CO-RE code added to prevail isn't getting tested

enhancementNew feature or requestNew feature or request

Status: Open.

#943 In vbpf/prevail;

· Alan-Jowett opened on Nov 4, 2025

Feature Request: Add support for resolving helper functions by name instead of ID

featureNew capability or ISA supportNew capability or ISA support

Status: Open.

#938 In vbpf/prevail;

· Alan-Jowett opened on Oct 31, 2025

Move definitions inside ebpf_vm_isa.hpp out of prevail namespace

enhancementNew feature or requestNew feature or request

Status: Open.

#876 In vbpf/prevail;

· Alan-Jowett opened on Apr 15, 2025