Search results

The widening operator causes termination issues

Status: Open.

#960 In vbpf/prevail;

· Maxime-Derri opened on Nov 27, 2025

Incorrect context descriptor classification

bugSomething isn't workingSomething isn't working

Status: Open.

#959 In vbpf/prevail;

· Maxime-Derri opened on Nov 27, 2025

Alternative implementation for the CFG computation

Status: Open.

#953 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

WTO is computed multiple times

Status: Open.

#952 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

Generate assertions when they are needed

Status: Open.

#951 In vbpf/prevail;

· Maxime-Derri opened on Nov 13, 2025

Global vs static subprogs

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

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

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

Status: Open.

#938 In vbpf/prevail;

· Alan-Jowett opened on Oct 31, 2025

stack_numeric_size is inherently buggy

bugSomething isn't workingSomething isn't working

Status: Open.

#918 In vbpf/prevail;

· elazarg opened on Oct 3, 2025

Move definitions inside ebpf_vm_isa.hpp out of prevail namespace

Status: Open.

#876 In vbpf/prevail;

· Alan-Jowett opened on Apr 15, 2025

Unused variable in get_(un)signed_intervals

Status: Open.

#875 In vbpf/prevail;

· elazarg opened on Apr 15, 2025