prevail-0.2.0
Platform
Feature flags

docs.rs

Rust

prevail 0.2.0

eBPF Verifier using Abstract Interpretation

Crate
Source
Builds
Feature flags

.cargo
.claude
benches
docs
src
tests
.cargo_vcs_info.json
.certignore
.check-license.ignore
.gitattributes
.gitignore
.gitmodules
AGENTS.md
Cargo.lock
Cargo.toml
Cargo.toml.orig
CODE_OF_CONDUCT.md
CONTRIBUTING.md
Dockerfile
LICENSE.txt
README.md
REVIEW.md
rust-toolchain.toml

1
2
3

[submodule "tests/upstream"]
	path = tests/upstream
	url = https://github.com/vbpf/prevail