isec-tugraz / Chestnut
☆22Updated 9 months ago
Alternatives and similar repositories for Chestnut:
Users that are interested in Chestnut are comparing it to the libraries listed below
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆36Updated 4 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- ☆13Updated 3 years ago
- K-Miner☆75Updated 5 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 10 months ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆34Updated 4 months ago
- ☆45Updated 3 years ago
- some kernel exploit challenges and cve analysis☆26Updated 6 years ago
- ☆37Updated 2 years ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆79Updated 2 months ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 6 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆78Updated 2 years ago
- ☆35Updated 3 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 10 months ago
- Linux Kernel Fuzzer Corpus☆132Updated this week
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Updated 5 years ago
- PARTS / LLVM compiler☆31Updated 5 years ago
- An IDA processor for eBPF bytecode☆48Updated 3 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆59Updated 3 months ago
- ☆17Updated 5 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆13Updated 6 months ago
- ☆64Updated 6 years ago
- This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.☆135Updated 3 years ago
- ViDeZZo source code.☆35Updated 2 months ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆28Updated 9 months ago
- ☆55Updated 2 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆124Updated 4 years ago
- ☆51Updated 10 months ago
- ☆70Updated 5 years ago
- a new cfi mechanism☆31Updated 3 years ago