sandialabs / halucinator
Main HALucinator branch
☆41Updated last year
Alternatives and similar repositories for halucinator:
Users that are interested in halucinator are comparing it to the libraries listed below
- Repository for monolithic firmware blobs☆73Updated 3 years ago
- ☆51Updated last year
- ☆179Updated last year
- AFL bindings for Unicorn-Engine☆74Updated last week
- Same-Architecture Firmware Rehosting and Fuzzing☆123Updated 3 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆114Updated 3 months ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆135Updated last year
- ☆160Updated 3 years ago
- Emulation and Feedback Fuzzing of Firmware with Memory Sanitization☆160Updated 3 years ago
- A Framework for fuzzing USB Drivers by Device Emulation☆120Updated 4 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆107Updated 4 months ago
- ☆57Updated 10 months ago
- Source code of HAL-fuzz☆146Updated 4 years ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆173Updated 2 years ago
- ☆168Updated last month
- Real firmware fuzz-tested in P2IM paper☆24Updated 4 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆79Updated 3 months ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆60Updated last year
- ☆65Updated 4 months ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆218Updated 4 years ago
- USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types☆201Updated 3 years ago
- NDSS 2020 - HYPER-CUBE: High-Dimensional Hypervisor Fuzzing☆63Updated last year
- A Ghidra extension that allows you to run Angr symbolic execution using the Pcode from Ghidra.☆16Updated 3 years ago
- Fuzzing Embedded Systems using Hardware Breakpoints☆182Updated last year
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year
- A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols☆83Updated 2 years ago
- PoC of fuzzing closed-source userspace binaries with KVM☆163Updated 10 months ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- ☆132Updated 3 years ago
- SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.☆24Updated 3 years ago