BinTuner / Dev
BinTuner
☆58Updated 2 years ago
Related projects: ⓘ
- 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
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆30Updated 4 months ago
- ☆43Updated 2 years ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆58Updated last year
- Symbolic Execution Over Processor Traces☆116Updated last month
- Binary Code Similarity Analysis (BCSA) Benchmark☆133Updated 9 months ago
- This is a deep learning dataset for cross-version binary code similarity detection.☆25Updated 5 years ago
- ☆69Updated 2 years ago
- ☆39Updated 3 years ago
- LLVM meets Code Property Graphs☆85Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 3 months ago
- ☆38Updated last year
- Binary Code Similarity Analysis (BCSA) Tool☆114Updated 2 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆70Updated last month
- A LLVM Sanitizer for Symbolic Tracing☆206Updated last week
- Pangine disassembly ground truth benchmark☆10Updated 3 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆42Updated 4 years ago
- ☆78Updated 2 years ago
- ☆31Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated last year
- Piecewise debloating toolchain☆13Updated 4 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated 9 months ago
- ☆89Updated 2 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- ☆56Updated 11 months ago
- Juliet C/C++ Dynamic Test Suite☆23Updated last year
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆27Updated 2 years ago
- ☆25Updated 3 years ago
- Awesome list for asm2vec☆16Updated 3 years ago