CMUSTRUDEL / DIRE
☆63Updated 3 weeks ago
Alternatives and similar repositories for DIRE
Users that are interested in DIRE are comparing it to the libraries listed below
Sorting:
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- ☆61Updated 5 months ago
- Neural Variable Renaming for Decompiled Binaries☆44Updated 5 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 3 months ago
- Flex 'em lexers☆39Updated 4 years ago
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆58Updated last year
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 6 years ago
- Symbolic Execution Over Processor Traces☆121Updated 8 months ago
- ☆24Updated 2 years ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- ☆70Updated last year
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆29Updated 4 years ago
- tool for multi-execution jump coverage introspection☆64Updated 3 months ago
- Official implementation of AsmDepictor, "A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Re…☆28Updated last year
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆99Updated last week
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆55Updated 3 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆28Updated 2 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆101Updated 2 years ago
- ☆10Updated 5 years ago
- BinTuner☆62Updated 2 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆61Updated 2 years ago
- ☆84Updated 6 months ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- GitHub Cloner & Compiler☆70Updated 3 years ago
- Target-centric program analysis.☆75Updated last week
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- Build your emulation environment as needed☆66Updated 4 years ago