RiS3-Lab / DICE-DMA-Emulation
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
☆60Updated last year
Alternatives and similar repositories for DICE-DMA-Emulation:
Users that are interested in DICE-DMA-Emulation are comparing it to the libraries listed below
- ☆18Updated 4 months ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year
- Repository for monolithic firmware blobs☆76Updated 3 years ago
- angr's exploration technique to perform taint analysis☆61Updated 5 years ago
- ☆53Updated last year
- Perry: automated peripheral modeling with symbolic execution☆26Updated 11 months ago
- Real firmware fuzz-tested in P2IM paper☆24Updated 4 years ago
- UAF Fuzzing Benchmark☆56Updated 4 years ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆136Updated last year
- A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.☆138Updated last year
- Source-binary patch presence test system.☆83Updated 2 years ago
- ☆34Updated last year
- ☆9Updated last year
- ☆86Updated last month
- ☆28Updated last year
- A data-flow-guided fuzzer☆119Updated last year
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆101Updated 2 years ago
- A regression greybox fuzzer aflchurn☆66Updated 2 years ago
- ☆23Updated 7 months ago
- Symbolic Execution Over Processor Traces☆121Updated 8 months ago
- ☆26Updated last year
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Updated 2 years ago
- ☆34Updated 2 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated last year
- ☆50Updated last year
- Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation☆17Updated last year
- A collection of widely-fuzzed targets☆46Updated 5 years ago
- Source code of HAL-fuzz☆147Updated 4 years ago
- ☆90Updated 3 years ago
- ☆69Updated 10 months ago