angr-debugging / dAngrLinks
Symbolic debugger
☆30Updated last week
Alternatives and similar repositories for dAngr
Users that are interested in dAngr are comparing it to the libraries listed below
Sorting:
- A Specification-Guided Approach for Firmware Emulation☆44Updated 8 months ago
- Repository for monolithic firmware blobs☆87Updated 3 years ago
- ☆163Updated 4 years ago
- ☆53Updated 6 months ago
- Produce code coverage results with gcov from afl-fuzz test cases☆89Updated 11 months ago
- ☆144Updated last year
- AoT is a system for automatically generating off-target test harness by using build information.☆38Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆365Updated 7 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆160Updated 3 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆329Updated 6 months ago
- Binary Code Similarity Analysis (BCSA) Benchmark☆169Updated 2 years ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆22Updated 2 years ago
- ☆75Updated 3 years ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆505Updated last week
- ☆201Updated 3 months ago
- ☆66Updated 2 years ago
- ☆70Updated last year
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆64Updated 2 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Updated 10 months ago
- ☆58Updated 2 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Updated 3 years ago
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆141Updated 2 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆45Updated 6 years ago
- PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning☆12Updated 5 years ago
- A grammar-based custom mutator for AFL++☆267Updated this week
- autofz: Automated Fuzzer Composition at Runtime☆84Updated 2 years ago
- ☆100Updated 8 months ago
- ☆32Updated 2 years ago
- QEMU-based Memory Sanitizer for binary software.☆19Updated last month