vbpf / prevailLinks
eBPF verifier based on abstract interpretation
☆432Updated last week
Alternatives and similar repositories for prevail
Users that are interested in prevail are comparing it to the libraries listed below
Sorting:
- Sample ebpf programs to analyze☆93Updated last month
- ☆117Updated this week
- blazesym is a library for address symbolization and related tasks☆239Updated this week
- An eBPF program debugger☆214Updated 3 years ago
- Investigate kernel error call stacks☆287Updated 3 weeks ago
- Userspace eBPF VM☆930Updated last week
- Examples of using BPF ring buffer APIs☆135Updated 5 years ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆105Updated last year
- An effort to comprehensively document eBPF☆464Updated this week
- ☆45Updated this week
- Pahole and the dwarves☆246Updated 2 weeks ago
- ☆227Updated last year
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆135Updated 9 months ago
- Automated upstream mirror for bpftool stand-alone build.☆600Updated last week
- ☆236Updated last year
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆50Updated 2 years ago
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆59Updated 3 years ago
- A tool to help programmers debug and analyze Linux Kernel BPF verification failures.☆47Updated last week
- Userspace/GPU eBPF VM with llvm JIT/AOT compiler☆120Updated last week
- BTFhub, in collaboration with the BTFhub Archive repository, supplies BTF files for all published kernels that lack native support for em…☆461Updated last week
- The BTFhub Archive repository provides BTF files for those published kernels that lack native support for embedded BTF, thereby enhancing…☆125Updated 2 weeks ago
- Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework☆1,250Updated last week
- libsinsp, libscap, the kernel module driver, and the eBPF driver sources☆292Updated this week
- Measures the conformance of a BPF runtime to the ISA.☆36Updated last week
- Generate eBPF programs and tracing with ChatGPT☆265Updated 4 months ago
- In-kernel cache based on eBPF.☆455Updated 4 years ago
- Rust bindings to libbpf from the Linux kernel☆248Updated last week
- A file system events notifier based on eBPF☆74Updated 2 years ago
- Making eBPF programming easier via build env and examples☆529Updated 3 weeks ago
- ☆209Updated 3 years ago