Perry: automated peripheral modeling with symbolic execution
☆28Jun 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 2 years ago
- A Specification-Guided Approach for Firmware Emulation☆44Apr 22, 2025Updated 10 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
- The published code repo for the Cortex-M SoK paper.☆27Feb 5, 2026Updated 3 weeks ago
- ☆26Aug 28, 2024Updated last year
- ☆10Oct 31, 2022Updated 3 years ago
- The ICS^2 Matrix is a threat taxonomy for Programmable Logic Controllers and Industrial Control Systems☆13Sep 10, 2024Updated last year
- ☆30Sep 13, 2024Updated last year
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆45Jan 5, 2026Updated last month
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆13Jan 6, 2026Updated last month
- FirmSec Dataset☆12Sep 1, 2021Updated 4 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- This is the source code for AIM paper (accepted to IEEE Transactions on Dependable and Secure Computing in 2023)☆30Jul 22, 2024Updated last year
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆64Oct 14, 2023Updated 2 years ago
- Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation☆17Jan 28, 2026Updated last month
- ☆21Sep 25, 2023Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- ☆19Oct 11, 2022Updated 3 years ago
- ☆164Oct 6, 2021Updated 4 years ago
- Source code of SEmu-Fuzz☆22Nov 30, 2024Updated last year
- Lifting network implementation to precise format specification☆23Apr 21, 2025Updated 10 months ago
- Automatic Compartments for Embedded Systems☆24Mar 6, 2020Updated 5 years ago
- A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.☆145Nov 20, 2023Updated 2 years ago
- Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).☆31Jan 17, 2022Updated 4 years ago
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Nov 2, 2019Updated 6 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 9 months ago
- ☆71May 12, 2025Updated 9 months ago
- Fuzzware's main repository. Start here to install.☆363Dec 18, 2025Updated 2 months ago
- ☆72Nov 1, 2023Updated 2 years ago
- ☆32Apr 14, 2023Updated 2 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆30Nov 4, 2023Updated 2 years ago
- Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware☆422Sep 18, 2021Updated 4 years ago
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆46Jun 5, 2025Updated 8 months ago
- Recent security papers on firmware analysis☆78Aug 30, 2021Updated 4 years ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆102Dec 18, 2023Updated 2 years ago
- read and write operations across cloud providers☆11Apr 23, 2019Updated 6 years ago