Issues

• Map FD stack provenance becomes unbounded after stale-state fix

  vbpf/prevail#1244 · Filter by author Alan-Jowett opened on Oct 2, 2026

• Regression: bounded stack loop with local call rejected after exact-cell havoc

  vbpf/prevail#1236 · Filter by author Alan-Jowett opened on Sep 24, 2026

• Termination: eager normalization after widen defeats convergence

  termination
  vbpf/prevail#1207 · Filter by author elazarg opened on Jul 20, 2026

• Hide Boost from prevail's public headers so consumers don't need it on MSVC

  vbpf/prevail#1189 · Filter by author elazarg opened on Jul 7, 2026
  1

• Bug report: stale svalue survives copy from nullable shared helper return and prunes both sides of a null check

  vbpf/prevail#1150 · Filter by author Alan-Jowett opened on Jun 25, 2026
  1

• BTF-based context modeling for tracing and LSM programs

  feature
  vbpf/prevail#1135 · Filter by author elazarg opened on May 26, 2026

• Add snprintf format string validation

  feature
  vbpf/prevail#1134 · Filter by author elazarg opened on May 26, 2026
  1

• Track RCU read-lock regions for helper and kfunc validation

  feature
  vbpf/prevail#1132 · Filter by author elazarg opened on May 26, 2026
  1

• Add LSM (Linux Security Module) BPF program type

  feature
  vbpf/prevail#1131 · Filter by author elazarg opened on May 26, 2026

• Add dynptr (dynamic pointer) support

  feature
  vbpf/prevail#1130 · Filter by author elazarg opened on May 26, 2026

• Add callback signature validation for helper-invoked callbacks

  feature
  vbpf/prevail#1126 · Filter by author elazarg opened on May 26, 2026

• Build a verifier server on top of the reusable analysis API

  design
  vbpf/prevail#1087 · Filter by author elazarg opened on Apr 15, 2026

• Define the reusable analysis API that the CLI and server can share

  design
  vbpf/prevail#1084 · Filter by author elazarg opened on Apr 15, 2026

• Populate the stable public verifier API facade

  design
  vbpf/prevail#1083 · Filter by author elazarg opened on Apr 15, 2026

• Define a project-level error-handling policy

  design
  vbpf/prevail#1079 · Filter by author elazarg opened on Apr 15, 2026

• Separate analysis snapshots from diagnostics and rendering

  design
  vbpf/prevail#1078 · Filter by author elazarg opened on Apr 15, 2026

• C++23

  vbpf/prevail#1027 · Filter by author elazarg opened on Feb 20, 2026
  2

• Invariant output stops at first error, hiding loop predecessor state needed for debugging

  vbpf/prevail#1010 · Filter by author Alan-Jowett opened on Feb 17, 2026
  9

• Introducing prevail-rust

  vbpf/prevail#1000 · Filter by author elazarg opened on Feb 13, 2026

• Alternative implementation for the CFG computation

  performance
  vbpf/prevail#953 · Filter by author Maxime-Derri opened on Nov 13, 2025

• WTO is computed multiple times

  performance
  vbpf/prevail#952 · Filter by author Maxime-Derri opened on Nov 13, 2025 · 0.2.3

• Generate assertions when they are needed

  performance
  vbpf/prevail#951 · Filter by author Maxime-Derri opened on Nov 13, 2025
  1

• Global vs static subprogs

  performance
  vbpf/prevail#950 · Filter by author Maxime-Derri opened on Nov 13, 2025

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

  performance
  vbpf/prevail#949 · Filter by author Maxime-Derri opened on Nov 9, 2025
  1

• Move definitions inside ebpf_vm_isa.hpp out of prevail namespace

  enhancement
  vbpf/prevail#876 · Filter by author Alan-Jowett opened on Apr 15, 2025
  3