bpfverif / agniLinks
☆29Updated 2 months ago
Alternatives and similar repositories for agni
Users that are interested in agni are comparing it to the libraries listed below
Sorting:
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆31Updated last week
- ☆17Updated last year
- Verification of BPF JIT compilers☆55Updated last year
- Loupe: Syscall Usage Analysis Tool☆35Updated this week
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- Sample ebpf programs to analyze☆93Updated 5 months ago
- Measures the conformance of a BPF runtime to the ISA.☆35Updated last week
- ☆30Updated 2 months ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆103Updated last year
- A superoptimizing compiler for packet-processing☆30Updated last year
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆25Updated 2 weeks ago
- ☆95Updated this week
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆47Updated last year
- ☆19Updated 3 years ago
- BTF introspection tool☆39Updated last month
- Install a hardware breakpoint in Linux kernel for tracing/debugging☆22Updated last month
- ☆15Updated 2 years ago
- A BPF-based syscall fault injector☆103Updated 2 years ago
- Extending eBPF Programmability and Observability to GPUs☆50Updated this week
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆58Updated 2 years ago
- bypass system calls using BPF☆41Updated last month
- eBPF verifier based on abstract interpretation☆415Updated last week
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 8 months ago
- Helps run tests in virtual machines☆123Updated 4 months ago
- Track memory leaks for Linux kernel modules using eBPF☆41Updated 3 months ago
- blazesym is a library for address symbolization and related tasks☆181Updated this week
- Harness for the Linux kernel eBPF verifier☆33Updated 2 years ago
- ☆25Updated 3 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated 2 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆13Updated last month