vbpf / prevailLinks
eBPF verifier based on abstract interpretation
☆415Updated this week
Alternatives and similar repositories for prevail
Users that are interested in prevail are comparing it to the libraries listed below
Sorting:
- ☆95Updated this week
- Sample ebpf programs to analyze☆93Updated 5 months ago
- blazesym is a library for address symbolization and related tasks☆181Updated this week
- An eBPF program debugger☆209Updated 3 years ago
- Userspace eBPF VM☆888Updated this week
- Investigate kernel error call stacks☆256Updated 7 months ago
- Examples of using BPF ring buffer APIs☆127Updated 4 years ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆103Updated last year
- A BPF-based syscall fault injector☆103Updated 2 years ago
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆132Updated 3 months ago
- An effort to comprehensively document eBPF☆381Updated this week
- ☆225Updated 9 months ago
- Userspace eBPF runtime for Observability, Network & General Extensions Framework☆1,003Updated this week
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆58Updated 2 years ago
- BTFhub, in collaboration with the BTFhub Archive repository, supplies BTF files for all published kernels that lack native support for em…☆433Updated 3 weeks ago
- In-kernel cache based on eBPF.☆450Updated 3 years ago
- ☆229Updated last year
- Generic eBPF runtime☆151Updated 4 years ago
- Pahole and the dwarves☆222Updated last month
- utilities for Linux ftrace☆287Updated last month
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆98Updated 2 years ago
- The BTFhub Archive repository provides BTF files for those published kernels that lack native support for embedded BTF, thereby enhancing…☆115Updated this week
- ☆39Updated last week
- Making eBPF programming easier via build env and examples☆488Updated 2 months ago
- ☆199Updated 3 years ago
- ebpf.io Website☆123Updated this week
- This manager helps handle the life cycle of your eBPF programs☆139Updated 2 weeks ago
- Automated upstream mirror for bpftool stand-alone build.☆516Updated last week
- Measures the conformance of a BPF runtime to the ISA.☆35Updated last week
- libsinsp, libscap, the kernel module driver, and the eBPF driver sources☆267Updated this week