RiS3-Lab / SHiFTLinks
SHiFT: Semi-hosted Fuzz Testing for Embedded Applications
☆17Updated last year
Alternatives and similar repositories for SHiFT
Users that are interested in SHiFT are comparing it to the libraries listed below
Sorting:
- Perry: automated peripheral modeling with symbolic execution☆28Updated last year
- ☆66Updated 2 years ago
- ☆88Updated 7 months ago
- ☆93Updated 8 months ago
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆43Updated 6 months ago
- ☆44Updated 2 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆118Updated 8 months ago
- A Specification-Guided Approach for Firmware Emulation☆44Updated 7 months ago
- Real firmware fuzz-tested in P2IM paper☆24Updated 5 years ago
- Repository for monolithic firmware blobs☆87Updated 3 years ago
- Recent symbolic execution papers and tools.☆182Updated 7 months ago
- A list of resources (papers, books, talks, frameworks, tools) for understanding fuzzing for IoT/embedded devices.☆51Updated 3 years ago
- ☆29Updated last year
- angr's exploration technique to perform taint analysis☆65Updated 5 years ago
- ☆60Updated last year
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆97Updated 2 years ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆12Updated 11 months ago
- ☆71Updated last year
- DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing☆11Updated 2 years ago
- Static Analysis Course☆81Updated 3 months ago
- ☆70Updated last year
- ☆237Updated last year
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆149Updated 3 months ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆64Updated 2 years ago
- a blackbox network fuzzer for IoT devices☆56Updated last year
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- ☆38Updated last year
- Firmrec is a recurring vulnerability detector for embedded firmware.☆48Updated 7 months ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆141Updated 2 years ago
- MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware☆38Updated last week