sandialabs / halucinator
Main HALucinator branch
☆38Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for halucinator
- Repository for monolithic firmware blobs☆71Updated 2 years ago
- ☆175Updated 11 months ago
- ☆57Updated 6 months ago
- ☆49Updated 8 months ago
- ☆48Updated 3 weeks ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆107Updated this week
- Same-Architecture Firmware Rehosting and Fuzzing☆104Updated last year
- A Framework for fuzzing USB Drivers by Device Emulation☆112Updated 3 years ago
- Core emulator components for Icicle☆127Updated last month
- ☆159Updated 3 years ago
- Ghidra Emulates Functions☆53Updated 4 years ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆132Updated last year
- AFL bindings for Unicorn-Engine☆68Updated 2 weeks ago
- A faster firmware base address scanner.☆47Updated 2 years ago
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆60Updated 3 weeks ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆61Updated last year
- ☆45Updated last year
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆184Updated this week
- ☆39Updated 8 months ago
- ☆113Updated 2 years ago
- USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types☆195Updated 3 years ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆166Updated 2 years ago
- Recent security papers on firmware analysis☆75Updated 3 years ago
- Pyhidra is a Python library that provides direct access to the Ghidra API within a native CPython interpreter using jpype.☆184Updated 3 weeks ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆73Updated last week
- Symbolic Execution Over Processor Traces☆116Updated 3 months ago
- Produce code coverage results with gcov from afl-fuzz test cases☆69Updated 5 months ago
- ☆26Updated 3 years ago
- ☆163Updated 9 months ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year