vbpf / ebpf-verifier
eBPF verifier based on abstract interpretation
☆391Updated this week
Related projects ⓘ
Alternatives and complementary repositories for ebpf-verifier
- Sample ebpf programs to analyze☆91Updated last week
- An eBPF program debugger☆197Updated 2 years ago
- ☆77Updated this week
- Userspace eBPF runtime for Observability, Network & General Extensions Framework☆829Updated 3 weeks ago
- blazesym is a library for address symbolization and related tasks☆118Updated this week
- Userspace eBPF VM☆833Updated this week
- Investigate kernel error call stacks☆209Updated last month
- Examples of using BPF ring buffer APIs☆121Updated 4 years ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆101Updated 10 months ago
- The BTFhub Archive repository provides BTF files for those published kernels that lack native support for embedded BTF, thereby enhancing…☆95Updated this week
- ☆222Updated 11 months ago
- Automated upstream mirror for bpftool stand-alone build.☆413Updated last week
- BTFhub, in collaboration with the BTFhub Archive repository, supplies BTF files for all published kernels that lack native support for em…☆389Updated 4 months ago
- An effort to comprehensively document eBPF☆252Updated this week
- Making eBPF programming easier via build env and examples☆438Updated 3 weeks ago
- ☆218Updated 3 months ago
- A BPF-based syscall fault injector☆94Updated last year
- An eBPF Manager for Linux and Kubernetes☆523Updated this week
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆56Updated 2 years ago
- Scaffolding for BPF application development with libbpf and BPF CO-RE☆1,102Updated this week
- In-kernel cache based on eBPF.☆443Updated 3 years ago
- Rust bindings to libbpf from the Linux kernel☆199Updated 2 weeks ago
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆128Updated 2 years ago
- Utilities and example programs for use with XDP☆658Updated this week
- libsinsp, libscap, the kernel module driver, and the eBPF driver sources☆232Updated this week
- eBPF program using kprobes to trace TCP events without run-time compilation dependencies☆410Updated last year
- utilities for Linux ftrace☆269Updated 2 weeks ago
- Generate eBPF programs and tracing with ChatGPT☆225Updated 3 months ago
- XDP project collaboration through a git-repo☆266Updated last week
- Now moved into `github.com/inspektor-gadget/inspektor-gadget/pkg/gadget-collection/gadgets/traceloop`. Tracing system calls in cgroups u…☆198Updated last year