angr-debugging / dAngr
Symbolic debugger
☆20Updated last month
Alternatives and similar repositories for dAngr
Users that are interested in dAngr are comparing it to the libraries listed below
Sorting:
- Repository for monolithic firmware blobs☆77Updated 3 years ago
- ☆50Updated last year
- ☆161Updated 3 years ago
- A Specification-Guided Approach for Firmware Emulation☆41Updated 3 weeks ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆19Updated last year
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- ☆65Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆82Updated 4 months ago
- ☆54Updated last year
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆15Updated 8 months ago
- ☆59Updated this week
- ☆69Updated last week
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆155Updated 2 years ago
- Binary Code Similarity Analysis (BCSA) Benchmark☆151Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 3 months ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆63Updated last year
- ☆29Updated last year
- Juliet C/C++ Dynamic Test Suite☆29Updated 2 years ago
- ☆45Updated 2 years ago
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆30Updated 2 years ago
- ☆16Updated last year
- ☆72Updated 2 years ago
- ☆9Updated 8 months ago
- ☆84Updated 6 months ago
- ☆92Updated last year
- Recent security papers on firmware analysis☆76Updated 3 years ago
- ☆190Updated last year
- ☆57Updated last year
- A framework to test the correctness of the Linux kernel patch.☆22Updated last year