Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"
☆13Jan 6, 2026Updated 3 months ago
Alternatives and similar repositories for FirmRCA
Users that are interested in FirmRCA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- ☆11Oct 28, 2020Updated 5 years ago
- ☆21Sep 25, 2023Updated 2 years ago
- ☆14Nov 14, 2023Updated 2 years ago
- ☆18Dec 16, 2024Updated last year
- 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.
- SyzTrust's main repository. Start here to install.☆19Feb 29, 2024Updated 2 years ago
- Build Docker images for unibench☆17Jan 1, 2021Updated 5 years ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆22May 29, 2023Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Feb 29, 2024Updated 2 years ago
- Directed fuzzing framework for gVisor.☆26Oct 26, 2023Updated 2 years ago
- ☆29Mar 21, 2026Updated 3 weeks 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
- headless-ida-mcp-server☆41Apr 4, 2025Updated last year
- ☆16Sep 16, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆56Feb 17, 2025Updated last year
- 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
- Perry: automated peripheral modeling with symbolic execution☆28Jun 1, 2024Updated last year
- 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 2 years ago
- ☆34Nov 11, 2021Updated 4 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago
- ☆24Mar 18, 2026Updated 3 weeks ago
- An automated ROP generation work☆12Mar 5, 2025Updated last year
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆121Apr 4, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A tool to reverse engineer and inspect the RPM and APT databases to list all the packages along with executables, service, versions and C…☆17Mar 29, 2026Updated last week
- ☆10Oct 31, 2022Updated 3 years ago
- ☆34Apr 17, 2021Updated 4 years ago
- A version of nuttx used by smoothie-v2☆10Apr 1, 2018Updated 8 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆94Jan 19, 2022Updated 4 years ago
- ☆58Jul 21, 2023Updated 2 years ago
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- ☆11Jul 4, 2023Updated 2 years ago
- Hierarchical Temporal Sparse Learner☆13Nov 3, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆37Jul 14, 2025Updated 8 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Apr 1, 2024Updated 2 years ago
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Nov 4, 2022Updated 3 years ago
- ☆95Apr 2, 2019Updated 7 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆39Nov 14, 2024Updated last year
- a browser fuzzer☆47Mar 15, 2024Updated 2 years ago
- 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