vbpf / prevailLinks
eBPF verifier based on abstract interpretation
☆443Updated this week
Alternatives and similar repositories for prevail
Users that are interested in prevail are comparing it to the libraries listed below
Sorting:
- ☆118Updated this week
- Sample ebpf programs to analyze☆93Updated 2 months ago
- blazesym is a library for address symbolization and related tasks☆248Updated this week
- Userspace eBPF VM☆945Updated this week
- An eBPF program debugger☆215Updated 3 years ago
- Investigate kernel error call stacks☆293Updated 3 weeks ago
- Examples of using BPF ring buffer APIs☆136Updated 5 years ago
- ☆47Updated last month
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆105Updated 2 years ago
- Pahole and the dwarves☆251Updated last month
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆136Updated 11 months ago
- ☆230Updated last year
- A BPF-based syscall fault injector☆105Updated this week
- An effort to comprehensively document eBPF☆480Updated this week
- A tool to help programmers debug and analyze Linux Kernel BPF verification failures.☆79Updated last month
- In-kernel cache based on eBPF.☆463Updated 4 years ago
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆59Updated 3 years ago
- utilities for Linux ftrace☆308Updated last week
- The BTFhub Archive repository provides BTF files for those published kernels that lack native support for embedded BTF, thereby enhancing…☆127Updated 3 weeks ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆50Updated 2 years ago
- ☆237Updated 2 years ago
- libsinsp, libscap, the kernel module driver, and the eBPF driver sources☆298Updated last week
- Automated upstream mirror for bpftool stand-alone build.☆620Updated 3 weeks ago
- BTFhub, in collaboration with the BTFhub Archive repository, supplies BTF files for all published kernels that lack native support for em…☆469Updated last month
- Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework☆1,326Updated last week
- Userspace/GPU eBPF VM with llvm JIT/AOT compiler☆123Updated last month
- Rust bindings to libbpf from the Linux kernel☆256Updated last month
- eBPF Standard Documentation☆50Updated last year
- Generic eBPF runtime☆151Updated 4 years ago
- ☆45Updated 3 years ago