mechaphish / qemu-cgc
QEMU modified to run CGC binaries.
☆13Updated 2 years ago
Alternatives and similar repositories for qemu-cgc:
Users that are interested in qemu-cgc are comparing it to the libraries listed below
- Concolic tracer to detect flag leaks and create Type-2 POVs.☆13Updated last week
- AFL, modified to support multi-CB challenge sets for CGC.☆18Updated 8 years ago
- Our backup exploitation technique: fuzzing for POVs!☆25Updated 8 years ago
- POV templates and compilation support for CGC binaries.☆10Updated 2 years ago
- ☆28Updated 2 years ago
- Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…☆14Updated 8 years ago
- Convert Challenge Binaries to shared objects so service pollers can make use of the algorithm implementations☆14Updated 8 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- A version of AFL tailored for Driller's use in analyzing CGC binaries.☆81Updated 8 years ago
- Mozilla fork of the American Fuzzy Lop repo☆46Updated 5 years ago
- covFuzz☆34Updated 7 years ago
- Test case minimizer for afl-fuzz☆26Updated 7 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆23Updated 4 months ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Updated 8 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- Fuzzing scripts for the American Fuzzy Lop (AFL) fuzzer☆47Updated 8 years ago
- ☆14Updated 9 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 9 years ago
- A pip wrapper around our ridiculous amount of qemu forks.☆49Updated last year
- Python concolic execution framework for program analysis☆65Updated 10 years ago
- A "general-purpose" tracing tool☆38Updated 9 years ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆18Updated 9 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Updated 7 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- REIL translation library☆36Updated 8 years ago
- AFL coverage tool using Clang SanitizerCoverage☆37Updated 8 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Updated 9 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 7 years ago
- framework for fuzzing various open source tools☆18Updated 9 years ago
- Routines for hunting down kernel structs.☆40Updated 13 years ago