secure-foundations / trexLinks
π¦ Reconstruct Types from Binary Code
β31Updated 2 months ago
Alternatives and similar repositories for trex
Users that are interested in trex are comparing it to the libraries listed below
Sorting:
- Symbolic Execution Engine based on Ghidra's PCodeβ84Updated 2 years ago
- β26Updated last year
- A data-flow-guided fuzzerβ123Updated 2 years ago
- β43Updated 3 years ago
- Symbolic Execution Over Processor Tracesβ123Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.β93Updated 3 years ago
- β46Updated 3 years ago
- β44Updated 4 months ago
- Binary Ninja plugin for forward/backward slicingβ18Updated 4 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)β36Updated last month
- β36Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedbackβ15Updated 2 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chainsβ58Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzingβ74Updated 3 years ago
- Alleycat plugin by devttys0, ported to IDA 8β11Updated 9 months ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.β113Updated last week
- An IntelliJ IDEA plugin for working on Ghidra Extensions.β104Updated last year
- β62Updated last month
- AFLplusplus + libprotobuf-mutatorβ59Updated 2 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".β66Updated 3 years ago
- Raw IDA Kernel API for IDAPythonβ34Updated 3 years ago
- AFL bindings for Unicorn-Engineβ87Updated last month
- CarpetFuzz's fuzzer component. Belongs to CarpetFuzz main repo.β15Updated last year
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilitiesβ90Updated last year
- Driver Security Analyzerβ53Updated 5 years ago
- β39Updated 3 years ago
- Target components for kAFL/Nyx Fuzzerβ35Updated last year
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ powerβ¦β65Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernelβ32Updated 3 years ago
- MBA-Blast is a tool for simplification of MBA expressions.β68Updated 4 years ago