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
Alternatives and similar repositories for FirmRCA
Users that are interested in FirmRCA are comparing it to the libraries listed below
Sorting:
- ☆11Oct 28, 2020Updated 5 years ago
- ☆12Nov 14, 2023Updated 2 years ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- Build Docker images for unibench☆16Jan 1, 2021Updated 5 years ago
- ☆16Sep 16, 2021Updated 4 years ago
- SyzTrust's main repository. Start here to install.☆19Feb 29, 2024Updated 2 years ago
- ☆21Sep 25, 2023Updated 2 years ago
- ☆18Dec 16, 2024Updated last year
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆22May 29, 2023Updated 2 years ago
- ☆58Jul 21, 2023Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Feb 29, 2024Updated 2 years ago
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Feb 23, 2023Updated 3 years ago
- Directed fuzzing framework for gVisor.☆26Oct 26, 2023Updated 2 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆56Feb 17, 2025Updated last year
- ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…☆57Feb 25, 2025Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Apr 1, 2024Updated last year
- Perry: automated peripheral modeling with symbolic execution☆28Jun 1, 2024Updated last year
- ☆24Aug 24, 2025Updated 6 months ago
- ☆26Sep 29, 2022Updated 3 years ago
- ☆30Sep 13, 2024Updated last year
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Apr 4, 2023Updated 2 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago
- ☆34Nov 11, 2021Updated 4 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆29Mar 6, 2024Updated last year
- headless-ida-mcp-server☆30Apr 4, 2025Updated 10 months ago
- The Use of Likely Invariants as Feedback for Fuzzers☆93Jan 19, 2022Updated 4 years ago
- ☆37Jul 14, 2025Updated 7 months ago
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Nov 4, 2022Updated 3 years ago
- ☆34Apr 17, 2021Updated 4 years ago
- ☆10Mar 24, 2022Updated 3 years ago
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- The Unified TileLink Memory Subsystem Tester for XiangShan☆12Jan 7, 2026Updated last month
- github军火库☆21May 24, 2017Updated 8 years ago
- Analyze experimental data with Programming by Navigation☆13Updated this week
- Some literature published on topics around IoT & Cybersecurity☆13Oct 13, 2025Updated 4 months ago
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated 3 weeks ago
- a browser fuzzer☆47Mar 15, 2024Updated last year
- Uncovering Container Confusion in the Linux Kernel☆46Feb 27, 2024Updated 2 years ago
- ☆90Oct 25, 2021Updated 4 years ago