trailofbits / ebpf-verifierLinks
Harness for the Linux kernel eBPF verifier
☆34Updated 3 years ago
Alternatives and similar repositories for ebpf-verifier
Users that are interested in ebpf-verifier are comparing it to the libraries listed below
Sorting:
- Linux Kernel Runtime Integrity with eBPF☆184Updated 2 years ago
- Trace deep kernel events through eBPF and lsm hooks☆42Updated 4 years ago
- An eBPF program debugger☆215Updated 3 years ago
- Golang example code showing dangers with unsafe.Pointer usages☆52Updated 5 years ago
- Explore a live Linux kernel's memory using GDB☆117Updated 3 years ago
- ☆469Updated 2 months ago
- 📡🐧 Linux kernel syscall implementation tracker☆239Updated 3 months ago
- Simple ebpf disassembler in Rust☆40Updated 6 years ago
- Userspace/GPU eBPF VM with llvm JIT/AOT compiler☆122Updated last month
- POC for Phantom Attack☆89Updated 3 years ago
- Automatic fuzz targets generation for Golang packages☆56Updated last month
- Alcatraz project for Black Hat USA 2021☆78Updated 4 years ago
- PoC of fuzzing closed-source userspace binaries with KVM☆165Updated last year
- Mimic is a eBPF virtual machine and emulator which runs in userspace☆29Updated 3 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 8 months ago
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆135Updated 10 months ago
- bpflock - eBPF driven security for locking and auditing Linux machines☆151Updated 3 years ago
- Example BPF program with LSM hooks☆34Updated 4 years ago
- An eBPF playground☆210Updated 2 years ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆131Updated last year
- A BPF-based syscall fault injector☆105Updated last week
- Example program using eBPF to log data being based in using shell pipes☆41Updated 4 years ago
- Universal Profiling as a desktop app☆98Updated this week
- Dectect syscall hooking using eBPF☆167Updated 2 years ago
- eBPF Processor for Ghidra☆236Updated last year
- A Dolev-Yao-model-guided fuzzer for TLS☆149Updated 2 weeks ago
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago
- A system call interception tool☆58Updated last year
- ☆92Updated 6 months ago
- Sample ebpf programs to analyze☆93Updated 2 months ago