GrammaTech / retypdLinks
☆70Updated last year
Alternatives and similar repositories for retypd
Users that are interested in retypd are comparing it to the libraries listed below
Sorting:
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆112Updated 6 months ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆151Updated this week
- Build your emulation environment as needed☆66Updated 4 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- Flex 'em lexers☆40Updated 4 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆120Updated 3 weeks ago
- ☆42Updated 4 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆24Updated last year
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆194Updated this week
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆56Updated 3 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆61Updated 3 years ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆58Updated 2 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆105Updated last month
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆76Updated 2 years ago
- An IntelliJ IDEA plugin for working on Ghidra Extensions.☆98Updated last year
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- ☆59Updated 5 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆137Updated last year
- A collection of extensions to angr to handle new platforms☆67Updated 2 months ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆35Updated 5 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Updated 3 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- This repo contains the tests and results that were done during the research of SATURN☆39Updated 4 years ago
- ☆144Updated 7 months ago
- Snapshot fuzzing with KVM and LibAFL☆95Updated 2 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago