☆72Nov 1, 2023Updated 2 years ago
Alternatives and similar repositories for greenhouse
Users that are interested in greenhouse are comparing it to the libraries listed below
Sorting:
- ☆31May 28, 2023Updated 2 years ago
- ☆95May 4, 2025Updated 9 months ago
- A Specification-Guided Approach for Firmware Emulation☆44Apr 22, 2025Updated 10 months ago
- ☆27Dec 29, 2024Updated last year
- ☆11Jul 4, 2023Updated 2 years ago
- ☆94Mar 31, 2025Updated 11 months ago
- ☆187Nov 29, 2023Updated 2 years ago
- ☆20Aug 20, 2025Updated 6 months ago
- ☆47May 27, 2023Updated 2 years ago
- Fuzzware's main repository. Start here to install.☆363Dec 18, 2025Updated 2 months ago
- A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between…☆339Dec 12, 2024Updated last year
- ☆20Jul 16, 2024Updated last year
- Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis☆832Dec 25, 2025Updated 2 months ago
- Peripheral Transplantation to Rehost Embedded Linux kernels☆16Mar 6, 2022Updated 3 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆121Updated this week
- A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.☆43Jan 22, 2026Updated last month
- ☆65Jun 21, 2024Updated last year
- Firmrec is a recurring vulnerability detector for embedded firmware.☆50May 9, 2025Updated 9 months ago
- KFLAT is a tool to serialize memory of selected variables from the running Linux kernel and organize it into a single memory block of con…☆30Jan 20, 2026Updated last month
- Bachelor's Thesis at Universidad de Granada (UGR)☆11Aug 27, 2022Updated 3 years ago
- ☆12Sep 29, 2025Updated 5 months ago
- ☆27Jul 31, 2021Updated 4 years ago
- ☆239Jan 14, 2024Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 9 months ago
- Perry: automated peripheral modeling with symbolic execution☆28Jun 1, 2024Updated last year
- ☆30Sep 13, 2024Updated last year
- ☆24Aug 24, 2025Updated 6 months ago
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 9 months ago
- ☆48Jul 30, 2025Updated 7 months ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆141Oct 14, 2023Updated 2 years ago
- FirmSec Dataset☆46Oct 15, 2025Updated 4 months ago
- ☆13Mar 22, 2024Updated last year
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- This repository contains the currently implemented angr concrete targets.☆34Sep 1, 2023Updated 2 years ago
- Same-Architecture Firmware Rehosting and Fuzzing☆130Dec 19, 2024Updated last year
- A (SLEIGH) disassembler that supports multiple architectures☆91Apr 30, 2022Updated 3 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Apr 7, 2023Updated 2 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆12Mar 6, 2024Updated last year