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 syscall implementation tracker☆238Updated 2 months ago
- Explore a live Linux kernel's memory using GDB☆117Updated 3 years ago
- Linux Kernel Runtime Integrity with eBPF☆184Updated 2 years ago
- PoC of fuzzing closed-source userspace binaries with KVM☆165Updated last year
- Trace deep kernel events through eBPF and lsm hooks☆42Updated 4 years ago
- POC for Phantom Attack☆88Updated 3 years ago
- Golang example code showing dangers with unsafe.Pointer usages☆52Updated 5 years ago
- An eBPF program debugger☆214Updated 3 years ago
- ☆468Updated last month
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 7 months 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
- A system call interception tool☆57Updated last year
- Simple ebpf disassembler in Rust☆39Updated 6 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆32Updated 2 years ago
- fuzz the linux kernel bpf verifier☆83Updated 4 years ago
- Automatic fuzz targets generation for Golang packages☆55Updated last month
- Alcatraz project for Black Hat USA 2021☆78Updated 4 years ago
- ☆102Updated 3 years ago
- Simple script to find kernel objects of a certain size in the Linux kernel☆112Updated 3 years ago
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆47Updated 2 years ago
- ☆25Updated last year
- A BPF-based syscall fault injector☆105Updated last week
- 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
- An eBPF playground☆210Updated 2 years ago
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago
- An IDA processor for eBPF bytecode☆48Updated 4 years ago
- bpflock - eBPF driven security for locking and auditing Linux machines☆150Updated 3 years ago
- Uncovering Container Confusion in the Linux Kernel☆45Updated last year
- ☆91Updated 5 months ago
- blackhat usa 2022 I attended☆73Updated 3 years ago