Identify and test the security of dynamic memory allocators in monolithic firmware images
☆47Sep 2, 2023Updated 2 years ago
Alternatives and similar repositories for heapster
Users that are interested in heapster are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- angr's exploration technique to perform taint analysis☆63Mar 26, 2020Updated 6 years ago
- A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between…☆341Dec 12, 2024Updated last year
- Repository for monolithic firmware blobs☆89Mar 10, 2022Updated 4 years ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆187Jul 28, 2022Updated 3 years ago
- ☆11Jul 4, 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.
- ☆239Jan 14, 2024Updated 2 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
- ☆94Mar 31, 2025Updated 11 months ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Dec 30, 2021Updated 4 years ago
- DiAne is a smart fuzzer for IoT devices☆42Apr 3, 2024Updated last year
- ☆17Nov 27, 2020Updated 5 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 3 years ago
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated last year
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆64Oct 14, 2023Updated 2 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.
- Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware☆423Sep 18, 2021Updated 4 years ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- 基于angr的污点分析引擎☆41Apr 19, 2019Updated 6 years ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆141Oct 14, 2023Updated 2 years ago
- ☆96May 4, 2025Updated 10 months ago
- Fuzzware's main repository. Start here to install.☆365Dec 18, 2025Updated 3 months ago
- A Specification-Guided Approach for Firmware Emulation☆45Apr 22, 2025Updated 11 months ago
- ☆27Apr 28, 2023Updated 2 years ago
- Same-Architecture Firmware Rehosting and Fuzzing