vbpf / ebpf-verifier
eBPF verifier based on abstract interpretation
☆404Updated this week
Alternatives and similar repositories for ebpf-verifier:
Users that are interested in ebpf-verifier are comparing it to the libraries listed below
- ☆84Updated this week
- Sample ebpf programs to analyze☆90Updated 2 months ago
- blazesym is a library for address symbolization and related tasks☆153Updated this week
- An eBPF program debugger☆200Updated 2 years ago
- Investigate kernel error call stacks☆239Updated 4 months ago
- Userspace eBPF VM☆870Updated this week
- Examples of using BPF ring buffer APIs☆122Updated 4 years ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆101Updated last year
- ☆225Updated last year
- Userspace eBPF runtime for Observability, Network & General Extensions Framework☆912Updated 3 weeks ago
- An effort to comprehensively document eBPF☆330Updated this week
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆130Updated last month
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆58Updated 2 years ago
- ☆222Updated 7 months ago
- Automated upstream mirror for bpftool stand-alone build.☆472Updated 2 weeks ago
- Pahole and the dwarves☆213Updated last month
- The BTFhub Archive repository provides BTF files for those published kernels that lack native support for embedded BTF, thereby enhancing…☆106Updated this week
- BTFhub, in collaboration with the BTFhub Archive repository, supplies BTF files for all published kernels that lack native support for em…☆411Updated last week
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆99Updated last year
- utilities for Linux ftrace☆280Updated 2 months ago
- A BPF-based syscall fault injector☆100Updated last year
- Rust bindings to libbpf from the Linux kernel☆211Updated this week
- In-kernel cache based on eBPF.☆447Updated 3 years ago
- ☆24Updated 3 years ago
- libsinsp, libscap, the kernel module driver, and the eBPF driver sources☆261Updated this week
- Making eBPF programming easier via build env and examples☆460Updated last week
- system call hook for Linux☆547Updated 2 months ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆47Updated last year
- Generic eBPF runtime☆149Updated 3 years ago
- ☆198Updated 2 years ago