☆49Jul 15, 2022Updated 4 years ago
Alternatives and similar repositories for microAFL
Users that are interested in microAFL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SyzTrust's main repository. Start here to install.☆19Feb 29, 2024Updated 2 years ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆14Dec 30, 2024Updated last year
- Security benchmarks for the Internet of Things☆22Nov 11, 2020Updated 5 years ago
- SHiFT: Semi-hosted Fuzz Testing for Embedded Applications☆17Dec 10, 2024Updated last year
- ☆11Jul 4, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 4 years ago
- Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation☆18Jan 28, 2026Updated 9 months ago
- ☆20Dec 16, 2024Updated last year
- A Specification-Guided Approach for Firmware Emulation☆45Apr 22, 2025Updated last year
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆17Jan 6, 2026Updated 9 months ago
- Peripheral Transplantation to Rehost Embedded Linux kernels☆18Mar 6, 2022Updated 4 years ago
- Tango: Extracting Higher-Order Feedback through State Inference☆16Aug 8, 2024Updated 2 years ago
- FPGA-based glitcher for the Digilent Arty FPGA development board.☆33Aug 18, 2017Updated 9 years ago
- Same-Architecture Firmware Rehosting and Fuzzing☆130Dec 19, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Fuzzing Embedded Systems using Hardware Breakpoints☆197Nov 27, 2023Updated 2 years ago
- An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.☆14Sep 12, 2019Updated 7 years ago
- ChipWhisperer-Lint is an open source implementation of our automated leakage detection tool.☆17Aug 8, 2018Updated 8 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆149Oct 14, 2023Updated 3 years ago
- Documentation for the Curious Bolt hardware hacking multi-tool☆16Feb 1, 2024Updated 2 years ago
- A benchmark framework for monolithic firmware fuzzers.☆13Sep 21, 2026Updated last month
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆47Sep 2, 2023Updated 3 years ago
- ☆13Oct 16, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.☆153Nov 20, 2023Updated 2 years ago
- ☆167Oct 6, 2021Updated 5 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆89Mar 22, 2024Updated 2 years ago
- Firmware Analysis Tool☆27Updated this week
- This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.☆146Aug 12, 2021Updated 5 years ago
- GDB plugin to dump SECCOMP rules set via prctnl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER)☆23Mar 13, 2016Updated 10 years ago
- ☆73May 12, 2025Updated last year
- qiling framework examples☆19Jan 17, 2022Updated 4 years ago
- ☆20Oct 3, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆755Apr 26, 2025Updated last year
- Real firmware fuzz-tested in P2IM paper☆27Dec 11, 2020Updated 5 years ago
- Coresight Access Library☆137Updated this week
- A data-flow-guided fuzzer☆125Aug 19, 2023Updated 3 years ago
- A repository with UEFI research stuff☆18Jun 23, 2023Updated 3 years ago
- ☆194Nov 29, 2023Updated 2 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 3 years ago