noobone123 / TypeForgeLinks
TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
☆20Updated 2 weeks ago
Alternatives and similar repositories for TypeForge
Users that are interested in TypeForge are comparing it to the libraries listed below
Sorting:
- ☆34Updated 2 years ago
- cinspector - a static C source code analysis framework☆26Updated 11 months ago
- ☆34Updated 4 months ago
- ☆55Updated last year
- A data-flow-guided fuzzer☆120Updated last year
- ☆34Updated last year
- Code and artifacts related to the Asia CCS 2022 paper☆36Updated 3 years ago
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆28Updated 2 years ago
- ☆34Updated 3 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆95Updated last month
- A collection of widely-fuzzed targets☆46Updated 5 years ago
- ☆23Updated 8 months ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆65Updated 3 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆34Updated last year
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year
- Run fuzzing experiments in Docker☆31Updated 4 years ago
- ☆18Updated 2 years ago
- UAF Fuzzing Benchmark☆56Updated 4 years ago
- ☆28Updated last year
- Code for UI, backend, engine and statistical analysis for RE☆22Updated 3 years ago
- ☆35Updated last year
- ☆29Updated 2 years ago
- ☆26Updated 2 years ago
- ☆26Updated last year
- ☆27Updated 3 years ago
- ☆74Updated 2 years ago
- angr's exploration technique to perform taint analysis☆62Updated 5 years ago
- ☆24Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆78Updated 2 years ago
- a browser fuzzer☆37Updated last year