A Specification-Guided Approach for Firmware Emulation
☆44Apr 22, 2025Updated 10 months ago
Alternatives and similar repositories for SEmu
Users that are interested in SEmu are comparing it to the libraries listed below
Sorting:
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- ☆10Oct 31, 2022Updated 3 years ago
- Perry: automated peripheral modeling with symbolic execution☆28Jun 1, 2024Updated last year
- ☆72Nov 1, 2023Updated 2 years ago
- Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation☆17Jan 28, 2026Updated last month
- ☆18Dec 16, 2024Updated last year
- A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.☆145Nov 20, 2023Updated 2 years ago
- Source code of SEmu-Fuzz☆22Nov 30, 2024Updated last year
- ☆164Oct 6, 2021Updated 4 years ago
- Same-Architecture Firmware Rehosting and Fuzzing☆130Dec 19, 2024Updated last year
- ☆18Dec 1, 2024Updated last year
- ☆71May 12, 2025Updated 9 months ago
- Repository for monolithic firmware blobs☆89Mar 10, 2022Updated 3 years ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆141Oct 14, 2023Updated 2 years ago
- A browser extension that enhance your paper writting with ChatGPT☆27May 14, 2024Updated last year
- ☆47Jul 15, 2022Updated 3 years ago
- ☆22Dec 6, 2023Updated 2 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- research and survey papers related to IoT security from 2014 to the first half of 2019☆59Jun 14, 2020Updated 5 years ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆64Oct 14, 2023Updated 2 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆47Sep 2, 2023Updated 2 years ago
- ☆30Sep 13, 2024Updated last year
- ICSE'22 - Havoc-MAB: Enhancing AFL havoc mutation with Two-layer Multi-Armed Bandit☆12Sep 19, 2022Updated 3 years ago
- ☆16Feb 9, 2026Updated 3 weeks ago
- BINARLY Research Tools and PoCs☆40Sep 27, 2024Updated last year
- Source code of HAL-fuzz☆157Feb 4, 2021Updated 5 years ago
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆13Jan 6, 2026Updated 2 months ago
- ☆17Aug 31, 2023Updated 2 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆93Jan 19, 2022Updated 4 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆86Mar 22, 2024Updated last year
- AFL/AFL++ version FishFuzz☆99Mar 11, 2025Updated 11 months ago
- A fuzzer for the CAN bus☆18Mar 1, 2025Updated last year
- MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware☆40Dec 8, 2025Updated 2 months ago
- ☆94Mar 31, 2025Updated 11 months ago
- Rust Bindings and tools for the Intel® Simics® Simulator☆17Feb 27, 2026Updated last week
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Feb 25, 2026Updated last week
- ☆21Sep 25, 2023Updated 2 years ago
- ☆67Sep 3, 2020Updated 5 years ago
- ☆25Aug 6, 2025Updated 7 months ago