Perry: automated peripheral modeling with symbolic execution
☆27Jun 1, 2024Updated last year
Alternatives and similar repositories for perry
Users that are interested in perry are comparing it to the libraries listed below
Sorting:
- Real firmware fuzz-tested with uEmu☆13Mar 22, 2023Updated 3 years ago
- A Specification-Guided Approach for Firmware Emulation☆45Apr 22, 2025Updated 11 months ago
- ☆11Jul 4, 2023Updated 2 years ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆141Oct 14, 2023Updated 2 years ago
- ☆94Mar 31, 2025Updated 11 months ago
- Repository for monolithic firmware blobs☆89Mar 10, 2022Updated 4 years ago
- ☆10Oct 31, 2022Updated 3 years ago
- ☆29Sep 13, 2024Updated last year
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- 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
- The published code repo for the Cortex-M SoK paper.☆28Feb 5, 2026Updated last month
- ☆21Sep 25, 2023Updated 2 years ago
- Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation☆17Jan 28, 2026Updated last month
- This is the source code for AIM paper (accepted to IEEE Transactions on Dependable and Secure Computing in 2023)☆30Jul 22, 2024Updated last year
- The ICS^2 Matrix is a threat taxonomy for Programmable Logic Controllers and Industrial Control Systems☆14Sep 10, 2024Updated last year
- ☆14Dec 10, 2021Updated 4 years ago
- ☆164Oct 6, 2021Updated 4 years ago
- Source code of SEmu-Fuzz☆22Nov 30, 2024Updated last year
- ☆17Jul 24, 2023Updated 2 years ago
- FirmSec Dataset☆12Sep 1, 2021Updated 4 years ago
- ☆27Aug 28, 2024Updated last year
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- Fuzzware's main repository. Start here to install.☆363Dec 18, 2025Updated 3 months ago
- A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.☆147Nov 20, 2023Updated 2 years ago
- ☆71May 12, 2025Updated 10 months ago
- ☆73Nov 1, 2023Updated 2 years ago
- ☆19Oct 11, 2022Updated 3 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆45Updated this week
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆64Oct 14, 2023Updated 2 years ago
- Samples of Avatar firmware analysis (including NDSS'14 cases)☆20Jun 27, 2017Updated 8 years ago
- Same-Architecture Firmware Rehosting and Fuzzing☆130Dec 19, 2024Updated last year
- Automatic Compartments for Embedded Systems☆24Mar 6, 2020Updated 6 years ago
- CVE☆22Aug 26, 2023Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆60May 20, 2025Updated 10 months ago
- Lifting network implementation to precise format specification☆23Apr 21, 2025Updated 11 months ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 6 years ago
- FirmwareDroid is an analysis framework for Android firmware and Apps.☆27Feb 19, 2026Updated last month
- Hisilicon SD5115 OpenOCD Config file☆13Mar 7, 2017Updated 9 years ago