secure-foundations / trexLinks
π¦ Reconstruct Types from Binary Code
β16Updated last month
Alternatives and similar repositories for trex
Users that are interested in trex are comparing it to the libraries listed below
Sorting:
- β36Updated 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
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedbackβ15Updated 2 years ago
- β27Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.β69Updated last year
- AFLTeam Collaborative Parallel Fuzzingβ74Updated 2 years ago
- A data-flow-guided fuzzerβ122Updated last year
- β41Updated last month
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)β34Updated last year
- β24Updated last year
- UAF Fuzzing Benchmarkβ56Updated 4 years ago
- A list of data-only attacksβ19Updated last month
- The Use of Likely Invariants as Feedback for Fuzzersβ89Updated 3 years ago
- β42Updated 3 years ago
- β18Updated 2 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)β42Updated 2 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware imagesβ43Updated last year
- Optimizing Directed Fuzzing via Target-tailored Program State Restrictionβ29Updated 2 years ago
- A collection of widely-fuzzed targetsβ46Updated 5 years ago
- CarpetFuzz's fuzzer component. Belongs to CarpetFuzz main repo.β14Updated last year
- A Symbolic Execution Engine for Dynamic Kernel Analysisβ29Updated last year
- Coverage-guided Fuzzing as Online Stochastic Controlβ51Updated 8 months ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.β102Updated 2 months ago
- Symbolic Execution Over Processor Tracesβ121Updated 11 months ago
- β19Updated 2 years ago
- ViDeZZo source code.β36Updated 3 months ago
- Papers related with kernel papersβ13Updated 2 years ago
- β19Updated 5 years ago
- a browser fuzzerβ39Updated last year
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliabilityβ83Updated 3 years ago