bpfverif / agni
☆23Updated last month
Alternatives and similar repositories for agni:
Users that are interested in agni are comparing it to the libraries listed below
- ☆19Updated 3 years ago
- Verification of BPF JIT compilers☆54Updated last year
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆25Updated 2 weeks ago
- A superoptimizing compiler for packet-processing☆30Updated last year
- Measures the conformance of a BPF runtime to the ISA.☆35Updated this week
- ☆17Updated last year
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆29Updated this week
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- Loupe: Syscall Usage Analysis Tool☆33Updated this week
- Hodor-PKU☆24Updated 3 years ago
- Sample ebpf programs to analyze☆91Updated 4 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- ☆16Updated last year
- ☆50Updated 2 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
- BTF introspection tool☆39Updated last month
- ☆29Updated last month
- ☆90Updated this week
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆47Updated last year
- Some codes to trace KVM events using BPF☆19Updated 5 years ago
- Heterogeneous Containerization of Large Language Model Apps☆41Updated last month
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆102Updated last year
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- A BPF-based syscall fault injector☆102Updated 2 years ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆38Updated 5 years ago
- Track memory leaks for Linux kernel modules using eBPF☆40Updated 2 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …☆26Updated this week
- Microscope: Enabling Microarchitectural Replay Attacks☆19Updated 4 years ago
- libpulp enables live patching in user space applications.☆59Updated last week