HUSTSeclab / qemu-kreitLinks
Modified qemu for binary-only kernel tracing, address sanitizer and so on
☆19Updated last week
Alternatives and similar repositories for qemu-kreit
Users that are interested in qemu-kreit are comparing it to the libraries listed below
Sorting:
- ASCII-generator in Go☆19Updated 3 months ago
- Catch IPv6 NS on WAN and send it to LAN. (Should) Make OpenWrt IPv6 ndp relay works.☆13Updated 2 weeks ago
- Filter out critical open source software with our metrics☆23Updated this week
- ☆12Updated 4 months ago
- Deploy and customize our own pwn.college - pwn.hust.college☆56Updated last week
- ☆88Updated 3 months ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆96Updated last year
- ☆35Updated 2 months ago
- ☆36Updated 3 weeks ago
- ☆18Updated 6 months ago
- ☆24Updated 3 years ago
- Curated list of classic fuzzing books, papers about fuzzing at information security top conferences over the years, commonly used fuzzing…☆359Updated 6 months ago
- ☆29Updated 2 years ago
- IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing☆11Updated 7 months ago
- ☆61Updated last year
- ☆12Updated last year
- A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between…☆313Updated 7 months ago
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆279Updated last month
- ☆43Updated 3 years ago
- ☆51Updated 2 years ago
- Perry: automated peripheral modeling with symbolic execution☆27Updated last year
- Automatic use of House of Some & House of Illusion.☆66Updated last month
- Bug detection framework for finding Finger tracable bugs in Linux☆22Updated 3 months ago
- CLAP(Contrastive Language-Assembly Pre-training) learns transferable binary code representations with natural language supervision☆60Updated 9 months ago
- Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…☆71Updated 7 months ago
- ☆22Updated last year
- ☆93Updated 2 years ago
- FirmSec Dataset☆36Updated 2 years ago
- ☆37Updated last year
- a GDB plug-in for inspecting mallocng☆59Updated 11 months ago