secure-foundations / trexLinks
🦖 Reconstruct Types from Binary Code
☆41Updated 2 months ago
Alternatives and similar repositories for trex
Users that are interested in trex are comparing it to the libraries listed below
Sorting:
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆119Updated 3 months ago
- An IntelliJ IDEA plugin for working on Ghidra Extensions.☆106Updated last year
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆127Updated 9 months ago
- ☆64Updated last month
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆41Updated 3 weeks ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆117Updated last year
- A data-flow-guided fuzzer☆124Updated 2 years ago
- Symbolic Execution Over Processor Traces☆126Updated last year
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- ☆28Updated last year
- MBA-Blast is a tool for simplification of MBA expressions.☆70Updated 4 years ago
- ☆144Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Updated 4 years ago
- ☆74Updated 2 years ago
- ☆49Updated 7 months ago
- ☆46Updated 4 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 3 years ago
- ☆45Updated 3 years ago
- ☆68Updated 3 years ago
- ☆45Updated 4 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Updated last year
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆21Updated 3 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated last month
- ☆27Updated last year
- a browser fuzzer☆46Updated last year
- Code and artifacts related to the Asia CCS 2022 paper☆38Updated 4 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Updated 3 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆146Updated 2 years ago
- AFL bindings for Unicorn-Engine☆88Updated 4 months ago
- Binary Ninja plugin for forward/backward slicing☆18Updated 5 years ago