IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing
☆14Dec 16, 2024Updated last year
Alternatives and similar repositories for DEVFUZZ
Users that are interested in DEVFUZZ are comparing it to the libraries listed below
Sorting:
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆15Nov 11, 2022Updated 3 years ago
- ☆32Apr 2, 2024Updated last year
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆41Dec 3, 2025Updated 3 months ago
- ☆10Sep 24, 2019Updated 6 years ago
- Uncovering Container Confusion in the Linux Kernel☆46Feb 27, 2024Updated 2 years ago
- Latr: Lazy Translation Coherence - ASPLOS'18☆16Nov 15, 2021Updated 4 years ago
- A simple GNU Radio message based burst FSK Transmitter and Receiver☆12May 31, 2015Updated 10 years ago
- ☆11May 24, 2022Updated 3 years ago
- ☆12Jun 20, 2022Updated 3 years ago
- Some sample codes for blog article☆13Sep 15, 2022Updated 3 years ago
- ☆12Aug 5, 2021Updated 4 years ago
- ☆10Sep 10, 2022Updated 3 years ago
- MCSema Build Windows download☆11Jul 6, 2020Updated 5 years ago
- ☆12Jun 10, 2025Updated 8 months ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 4 years ago
- IDA plugin: fold decomplied code☆11Nov 26, 2021Updated 4 years ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago
- ☆13May 27, 2019Updated 6 years ago
- ☆11Feb 13, 2024Updated 2 years ago
- Linux kernel exploit☆13Oct 6, 2021Updated 4 years ago
- Collection of scripts to analyse the Linux kernel☆10Aug 25, 2019Updated 6 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 6 years ago
- A module that multiplexes interactions with lists of python objects.☆14Aug 24, 2022Updated 3 years ago
- epub2sphinx is a tool to convert epub files to ReST for Sphinx☆11Apr 8, 2023Updated 2 years ago
- ☆11Jun 10, 2015Updated 10 years ago
- Exploit code by DirtyChain☆12Apr 11, 2025Updated 10 months ago
- TelegramBot Handcrafted for Translation of places in OpenStreetMap☆12Mar 25, 2021Updated 4 years ago
- Using censys to find subdomains but without the APIs just scrapping☆16May 13, 2020Updated 5 years ago
- Adaption of the r2ghidra-dec product to lift binaries to LLVM IR☆13Apr 14, 2021Updated 4 years ago
- ☆14Updated this week
- Here I store my proof of concepts☆14Sep 6, 2024Updated last year
- Turbodiff is a binary diffing tool developed as an IDA plugin. It discovers and analyzes differences between the functions of two binarie…☆14Sep 23, 2021Updated 4 years ago
- A black-box fuzzing framework for the Intent-Based Networking (IBN)☆15Aug 14, 2023Updated 2 years ago
- Various reverse engineering work on Windows☆22Feb 21, 2021Updated 5 years ago
- ☆12Mar 9, 2025Updated 11 months ago
- idax: IDASDK extension libraries☆22Oct 12, 2025Updated 4 months ago
- 坎巴拉太空计划 Mod 本地化流程大纲【未完成】☆16Nov 20, 2023Updated 2 years ago