bpfverif / agniLinks
☆40Updated last week
Alternatives and similar repositories for agni
Users that are interested in agni are comparing it to the libraries listed below
Sorting:
- eBPF verifier based on abstract interpretation☆428Updated this week
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆91Updated 3 weeks ago
- Verification of BPF JIT compilers☆57Updated 2 years ago
- Sample ebpf programs to analyze☆93Updated this week
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆39Updated last year
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 6 years ago
- ☆52Updated 3 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆139Updated last year
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆49Updated 2 years ago
- A superoptimizing compiler for packet-processing☆30Updated 2 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- ☆20Updated 3 years ago
- Hodor-PKU☆26Updated 4 years ago
- ☆114Updated last week
- ☆18Updated 2 years ago
- A formally verified security module for AMD confidential VMs☆56Updated 4 months ago
- Userspace/GPU eBPF VM with llvm JIT/AOT compiler☆109Updated last week
- Investigate kernel error call stacks☆281Updated last week
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆163Updated 2 weeks ago
- A BPF-based syscall fault injector☆105Updated 2 years ago
- Measures the conformance of a BPF runtime to the ISA.☆36Updated last week
- ☆37Updated 3 years ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆105Updated last year
- Static Analyser for C☆135Updated 3 months ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆41Updated last month
- BTF introspection tool☆40Updated 2 months ago
- blazesym is a library for address symbolization and related tasks☆221Updated this week
- ☆123Updated 4 months ago
- The lazypoline syscall interposer☆28Updated 5 months ago