valour01 / arm_disasssembler_study
This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
☆58Updated last year
Related projects: ⓘ
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆97Updated 2 years ago
- Symbolic Execution Over Processor Traces☆116Updated last month
- ☆45Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆83Updated 4 months ago
- K-Miner☆71Updated 5 years ago
- source code for savior fuzzer☆126Updated 3 years ago
- A data-flow-guided fuzzer☆111Updated last year
- ☆64Updated 5 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆30Updated 4 months ago
- We hinder fuzzing☆64Updated 2 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆42Updated 4 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 3 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- ☆125Updated 2 weeks ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated 9 months ago
- ☆38Updated last year
- ☆31Updated last year
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆79Updated 2 months ago
- afl/afl++ with a hierarchical seed scheduler☆57Updated 2 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated last year
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆63Updated 2 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆149Updated 2 years ago
- A LLVM Sanitizer for Symbolic Tracing☆206Updated last week
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆171Updated 5 months ago
- AntiFuzz: Impeding Fuzzing Audits of Binary Executables☆101Updated 3 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆70Updated 3 weeks ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆84Updated 2 years ago
- List the real world programs evaluated in fuzzing papers.☆53Updated 5 years ago
- A regression greybox fuzzer aflchurn☆63Updated 2 years ago