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
- Sample ebpf programs to analyze☆90Updated 2 months ago
- blazesym is a library for address symbolization and related tasks☆143Updated this week
- An eBPF program debugger☆200Updated 2 years ago
- ☆82Updated this week
- Investigate kernel error call stacks☆232Updated 4 months ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆101Updated last year
- Userspace eBPF VM☆862Updated this week
- Examples of using BPF ring buffer APIs☆122Updated 4 years ago
- An effort to comprehensively document eBPF☆312Updated last week
- Userspace eBPF runtime for Observability, Network & General Extensions Framework☆897Updated this week
- ☆224Updated last year
- libsinsp, libscap, the kernel module driver, and the eBPF driver sources☆256Updated this week
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆57Updated 2 years ago
- BTFhub, in collaboration with the BTFhub Archive repository, supplies BTF files for all published kernels that lack native support for em…☆409Updated 2 weeks ago
- In-kernel cache based on eBPF.☆446Updated 3 years ago
- ☆222Updated 6 months ago
- The BTFhub Archive repository provides BTF files for those published kernels that lack native support for embedded BTF, thereby enhancing…☆105Updated 2 weeks ago
- Making eBPF programming easier via build env and examples☆456Updated last month
- An eBPF Manager for Linux and Kubernetes☆573Updated this week
- Pahole and the dwarves☆211Updated last month
- Rust bindings to libbpf from the Linux kernel☆207Updated 2 months ago
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆130Updated 2 weeks ago
- utilities for Linux ftrace☆278Updated 2 months ago
- Automated upstream mirror for bpftool stand-alone build.☆465Updated last month
- Generic eBPF runtime☆149Updated 3 years ago
- This manager helps handle the life cycle of your eBPF programs☆130Updated this week
- Measures the conformance of a BPF runtime to the ISA.☆31Updated last week
- A BPF-based syscall fault injector☆100Updated last year
- ebpf.io Website☆120Updated last week
- Tetris in bpftrace☆104Updated 4 years ago