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:
- Trace deep kernel events through eBPF and lsm hooks☆42Updated 5 years ago
- Linux Kernel Runtime Integrity with eBPF☆184Updated 2 years ago
- A system call interception tool☆57Updated last year
- An eBPF program debugger☆215Updated 3 years ago
- POC for Phantom Attack☆89Updated 3 years ago
- Explore a live Linux kernel's memory using GDB☆117Updated 3 years ago
- A hacky tool for analysing linux kernel commits☆38Updated 3 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆84Updated last week
- Alcatraz project for Black Hat USA 2021☆78Updated 4 years ago
- PoC of fuzzing closed-source userspace binaries with KVM☆167Updated last year
- Example BPF program with LSM hooks☆35Updated 4 years ago
- 📡🐧 Linux kernel syscall implementation tracker☆268Updated 4 months ago
- Userspace/GPU eBPF VM with llvm JIT/AOT compiler☆125Updated 2 months ago
- Golang example code showing dangers with unsafe.Pointer usages☆52Updated 5 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆150Updated this week
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 2 weeks ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆39Updated last year
- blackhat usa 2022 I attended☆73Updated 3 years ago
- A BPF-based syscall fault injector☆106Updated last week
- ☆92Updated 7 months ago
- Simple ebpf disassembler in Rust☆40Updated 6 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆32Updated 2 years ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆132Updated last year
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Updated 3 years ago
- ebpfkit-monitor is a tool that detects and protects against eBPF powered rootkits☆139Updated 2 years ago
- Example program using eBPF to log data being based in using shell pipes☆41Updated 4 years ago
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆47Updated 2 years ago
- fuzz the linux kernel bpf verifier☆83Updated 4 years ago
- ☆15Updated 2 years ago
- An eBPF playground☆210Updated 2 years ago