Perry: automated peripheral modeling with symbolic execution
☆32Jun 11, 2026Updated 2 months ago
Alternatives and similar repositories for perry
Users that are interested in perry are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Real firmware fuzz-tested with uEmu☆13Mar 22, 2023Updated 3 years ago
- A Specification-Guided Approach for Firmware Emulation☆45Apr 22, 2025Updated last year
- ☆11Jul 4, 2023Updated 3 years ago
- ☆11Oct 31, 2022Updated 3 years ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆146Oct 14, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆93Mar 31, 2025Updated last year
- Repository for monolithic firmware blobs☆94Mar 10, 2022Updated 4 years ago
- ☆30Mar 21, 2026Updated 5 months ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆14Dec 30, 2024Updated last year
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆15Jan 6, 2026Updated 7 months ago
- ☆21Sep 25, 2023Updated 2 years ago
- Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation☆18Jan 28, 2026Updated 7 months ago
- The published code repo for the Cortex-M SoK paper.☆27Feb 5, 2026Updated 6 months ago
- ☆17Sep 16, 2025Updated 11 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This is the source code for AIM paper (accepted to IEEE Transactions on Dependable and Secure Computing in 2023)☆33Jul 22, 2024Updated 2 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware☆44Jul 1, 2026Updated 2 months ago
- Source code of SEmu-Fuzz☆24Nov 30, 2024Updated last year
- ☆27Aug 28, 2024Updated 2 years ago
- FirmSec Dataset☆12Sep 1, 2021Updated 5 years ago
- ☆16Jul 24, 2023Updated 3 years ago
- 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.☆381Jun 27, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.☆150Nov 20, 2023Updated 2 years ago
- The ICS^2 Matrix is a threat taxonomy for Programmable Logic Controllers and Industrial Control Systems☆15Sep 10, 2024Updated last year
- ☆80Nov 1, 2023Updated 2 years ago
- ☆73May 12, 2025Updated last year
- ☆19Oct 11, 2022Updated 3 years ago
- A swarm of intelligent agents, in a shared environment, works together in an organized and purposeful manner to build results (discover v…☆25Apr 10, 2026Updated 4 months ago
- S2E - A Platform for In-Vivo Multi-Path Software Analysis☆16Jan 18, 2017Updated 9 years ago
- Samples of Avatar firmware analysis (including NDSS'14 cases)☆20Jun 27, 2017Updated 9 years ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆67Oct 14, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- FIRMWELL is an automated rehosting framework for Linux-based embedded firmware.☆19May 25, 2026Updated 3 months ago
- Same-Architecture Firmware Rehosting and Fuzzing☆130Dec 19, 2024Updated last year
- Automatic Compartments for Embedded Systems☆24Mar 6, 2020Updated 6 years ago
- Secbench is an open-source framework for hardware security characterization☆23Jul 8, 2026Updated last month
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- Lifting network implementation to precise format specification☆23Apr 21, 2025Updated last year
- ☆32Apr 14, 2023Updated 3 years ago