Crate prevail 

Prevail eBPF verifier — Rust implementation.

Modules

btf

BTF (BPF Type Format) parsing and type information.

cfg

crab

elf_loader

ELF file parser for BPF programs.

fwd_analyzer

Forward fixpoint analyzer for eBPF programs.

ir

linux

linux_verifier

Linux BPF verifier via syscall, ported from src/main/linux_verifier.cpp.

memsize

Resident set size measurement.

platform

Platform abstraction layer for eBPF verification. Mirrors C++ src/platform.hpp (ebpf_platform_t).

printing

Pretty-printing for eBPF instructions, assertions, and program structures.

result

Analysis result types for the eBPF verifier.

spec