bpfverif / agniLinks
☆37Updated last week
Alternatives and similar repositories for agni
Users that are interested in agni are comparing it to the libraries listed below
Sorting:
- Sample ebpf programs to analyze☆93Updated 8 months ago
- eBPF verifier based on abstract interpretation☆426Updated last week
- Measures the conformance of a BPF runtime to the ISA.☆36Updated last week
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 6 years ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆87Updated last week
- A superoptimizing compiler for packet-processing☆30Updated 2 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆49Updated 2 years ago
- Verification of BPF JIT compilers☆55Updated 2 years ago
- BTF introspection tool☆40Updated 3 weeks ago
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆132Updated 7 months ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆105Updated last year
- A BPF-based syscall fault injector☆105Updated 2 years ago
- ☆108Updated this week
- ☆17Updated 2 years ago
- Track memory leaks for Linux kernel modules using eBPF☆44Updated last week
- ☆32Updated 6 months ago
- Investigate kernel error call stacks☆273Updated last week
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- ☆12Updated 2 years ago
- blazesym is a library for address symbolization and related tasks☆196Updated this week
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆28Updated 6 months ago
- Helps run tests in virtual machines☆131Updated 7 months ago
- ☆45Updated 2 years ago
- Harness for the Linux kernel eBPF verifier☆33Updated 3 years ago
- ☆52Updated 3 years ago
- Userspace/GPU eBPF VM with llvm JIT/AOT compiler☆78Updated 2 weeks ago
- Example BPF program with LSM hooks☆33Updated 4 years ago
- An eBPF program debugger☆212Updated 3 years ago
- Examples of using BPF ring buffer APIs☆133Updated 4 years ago
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆27Updated this week