vbpf / prevailLinks
eBPF verifier based on abstract interpretation
☆420Updated this week
Alternatives and similar repositories for prevail
Users that are interested in prevail are comparing it to the libraries listed below
Sorting:
- Sample ebpf programs to analyze☆93Updated 6 months ago
- ☆101Updated this week
- blazesym is a library for address symbolization and related tasks☆186Updated last week
- Userspace eBPF VM☆897Updated this week
- Investigate kernel error call stacks☆264Updated 8 months ago
- An eBPF program debugger☆210Updated 3 years ago
- Examples of using BPF ring buffer APIs☆127Updated 4 years ago
- Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework☆1,040Updated this week
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆103Updated last year
- ☆232Updated last year
- Automated upstream mirror for bpftool stand-alone build.☆538Updated last week
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆132Updated 5 months ago
- BTFhub, in collaboration with the BTFhub Archive repository, supplies BTF files for all published kernels that lack native support for em…☆439Updated this week
- libsinsp, libscap, the kernel module driver, and the eBPF driver sources☆276Updated last week
- Pahole and the dwarves☆225Updated 2 weeks ago
- ☆227Updated 11 months ago
- Making eBPF programming easier via build env and examples☆501Updated last week
- An effort to comprehensively document eBPF☆405Updated last week
- The BTFhub Archive repository provides BTF files for those published kernels that lack native support for embedded BTF, thereby enhancing…☆120Updated 3 weeks ago
- ☆41Updated last week
- Generate eBPF programs and tracing with ChatGPT☆243Updated 11 months ago
- Generic eBPF runtime☆150Updated 4 years ago
- Rust bindings to libbpf from the Linux kernel☆232Updated last week
- In-kernel cache based on eBPF.☆449Updated 3 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆47Updated last year
- eBPF Standard Documentation☆44Updated 9 months ago
- ☆35Updated last month
- utilities for Linux ftrace☆293Updated this week
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆59Updated 3 years ago
- ☆202Updated 3 years ago