secure-foundations / trexLinks
🦖 Reconstruct Types from Binary Code
☆44Updated 2 months ago
Alternatives and similar repositories for trex
Users that are interested in trex are comparing it to the libraries listed below
Sorting:
- ☆64Updated last month
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆120Updated 3 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- A data-flow-guided fuzzer☆124Updated 2 years ago
- Symbolic Execution Over Processor Traces☆126Updated last year
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆128Updated 9 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆117Updated last year
- An IntelliJ IDEA plugin for working on Ghidra Extensions.☆106Updated last year
- MBA-Blast is a tool for simplification of MBA expressions.☆70Updated 4 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆45Updated last month
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated last month
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 3 years ago
- ☆49Updated 7 months ago
- ☆28Updated last year
- ☆74Updated 2 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Updated 4 years ago
- CarpetFuzz's fuzzer component. Belongs to CarpetFuzz main repo.☆15Updated last year
- ☆144Updated last year
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Updated last year
- NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)☆109Updated 4 years ago
- Scalable Validator for Binary Lifters☆62Updated 5 years ago
- ☆45Updated 3 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆59Updated 4 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆21Updated 3 years ago
- ☆47Updated 4 years ago
- ☆39Updated 3 years ago
- AFL bindings for Unicorn-Engine☆89Updated 4 months ago
- ☆45Updated 4 years ago
- LLVM meets Code Property Graphs☆96Updated 4 years ago
- Binary Ninja plugin for forward/backward slicing☆18Updated 5 years ago