Issues

• Pinned libbtf fails to build with Clang 23: std::nothrow_t without <new>

  vbpf/prevail#1250 · Filter by author nan-mu opened on Oct 16, 2026
  1

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

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

• 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

• 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

• 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

• Add support for static callback functions (used by bpf_for_each_map_elem, bpf_user_ringbuf_drain, bpf_timer_set_callback)

  feature
  vbpf/prevail#797 · Filter by author Alan-Jowett opened on Nov 18, 2024
  10

• Count down loop termination check is wrong

  precisiontermination
  vbpf/prevail#785 · Filter by author Alan-Jowett opened on Nov 9, 2024
  1

• Support additional 64bit immediate instruction modes

  feature
  vbpf/prevail#763 · Filter by author Alan-Jowett opened on Oct 28, 2024
  5