Search results

BTF-based context modeling for tracing and LSM programs

featureNew capability or ISA supportNew capability or ISA support

Status: Open.

#1135 In vbpf/prevail;

· elazarg opened on May 26, 2026

Add snprintf format string validation

featureNew capability or ISA supportNew capability or ISA support

Status: Open.

#1134 In vbpf/prevail;

· elazarg opened on May 26, 2026

Track RCU read-lock regions for helper and kfunc validation

featureNew capability or ISA supportNew capability or ISA support

Status: Open.

#1132 In vbpf/prevail;

· elazarg opened on May 26, 2026

Add LSM (Linux Security Module) BPF program type

featureNew capability or ISA supportNew capability or ISA support

Status: Open.

#1131 In vbpf/prevail;

· elazarg opened on May 26, 2026

Add dynptr (dynamic pointer) support

featureNew capability or ISA supportNew capability or ISA support

Status: Open.

#1130 In vbpf/prevail;

· elazarg opened on May 26, 2026

Add callback signature validation for helper-invoked callbacks

featureNew capability or ISA supportNew capability or ISA support

Status: Open.

#1126 In vbpf/prevail;

· elazarg opened on May 26, 2026

Build a verifier server on top of the reusable analysis API

design

Status: Open.

#1087 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

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

design

Status: Open.

#1084 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Populate the stable public verifier API facade

design

Status: Open.

#1083 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Define a project-level error-handling policy

design

Status: Open.

#1079 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

Separate analysis snapshots from diagnostics and rendering

design

Status: Open.

#1078 In vbpf/prevail;

· elazarg opened on Apr 15, 2026

C++23

Status: Open.

#1027 In vbpf/prevail;

· elazarg opened on Feb 20, 2026