vbpf / prevail
eBPF verifier based on abstract interpretation
☆410Updated this week
Alternatives and similar repositories for prevail:
Users that are interested in prevail are comparing it to the libraries listed below
- ☆87Updated this week
- Sample ebpf programs to analyze☆91Updated 3 months ago
- blazesym is a library for address symbolization and related tasks☆163Updated last week
- An eBPF program debugger☆204Updated 2 years ago
- Userspace eBPF VM☆884Updated this week
- Investigate kernel error call stacks☆249Updated 5 months ago
- Examples of using BPF ring buffer APIs☆124Updated 4 years ago
- Userspace eBPF runtime for Observability, Network & General Extensions Framework☆966Updated this week
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆102Updated last year
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆131Updated 2 months ago
- ☆226Updated last year
- Automated upstream mirror for bpftool stand-alone build.☆493Updated last week
- An effort to comprehensively document eBPF☆347Updated last week
- The BTFhub Archive repository provides BTF files for those published kernels that lack native support for embedded BTF, thereby enhancing…☆106Updated 2 weeks ago
- A BPF-based syscall fault injector☆100Updated 2 years ago
- ☆222Updated 8 months ago
- utilities for Linux ftrace☆286Updated this week
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆58Updated 2 years ago
- In-kernel cache based on eBPF.☆447Updated 3 years ago
- BTFhub, in collaboration with the BTFhub Archive repository, supplies BTF files for all published kernels that lack native support for em…☆416Updated last week
- Tetris in bpftrace☆104Updated 4 years ago
- Pahole and the dwarves☆217Updated 2 months ago
- Generic eBPF runtime☆150Updated 3 years ago
- ☆34Updated this week
- libsinsp, libscap, the kernel module driver, and the eBPF driver sources☆264Updated this week
- ebpf.io Website☆123Updated this week
- An eBPF Manager for Linux and Kubernetes☆607Updated last week
- Making eBPF programming easier via build env and examples☆477Updated last month
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆47Updated last year
- XDP project collaboration through a git-repo☆282Updated last week