MCUSec / SEmu
A Specification-Guided Approach for Firmware Emulation
☆40Updated last week
Alternatives and similar repositories for SEmu:
Users that are interested in SEmu are comparing it to the libraries listed below
- ☆52Updated last year
- Repository for monolithic firmware blobs☆71Updated 3 years ago
- ☆81Updated 10 months ago
- Perry: automated peripheral modeling with symbolic execution☆24Updated 9 months ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆60Updated last year
- A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.☆137Updated last year
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆134Updated last year
- ☆21Updated 6 months ago
- Real firmware fuzz-tested in P2IM paper☆23Updated 4 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- ☆18Updated 3 months ago
- Source code of SEmu-Fuzz☆22Updated 3 months ago
- ☆68Updated 8 months ago
- ☆25Updated last year
- ☆27Updated last year
- Unit test firmware evaluated in P2IM paper☆10Updated 3 years ago
- Source code release for the KRace project☆27Updated 3 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆59Updated 3 months ago
- 20 benchmark programs☆46Updated 4 years ago
- ☆57Updated last year
- ☆29Updated 6 months ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆115Updated last year
- ☆9Updated last year
- DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing☆12Updated 2 years ago
- ☆34Updated 9 months ago
- FirmSec Dataset☆33Updated 2 years ago
- ☆44Updated 2 years ago
- ☆31Updated last year
- ☆33Updated 3 years ago
- ☆51Updated last year