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 2 years ago
- AFL, modified to support multi-CB challenge sets for CGC.☆18Updated 8 years ago
- POV templates and compilation support for CGC binaries.☆10Updated 2 years ago
- Our backup exploitation technique: fuzzing for POVs!☆25Updated 8 years ago
- Convert Challenge Binaries to shared objects so service pollers can make use of the algorithm implementations☆14Updated 7 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- ☆28Updated 2 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Updated 8 years ago
- libfuzzerfication - fuzzing for the rest of us!☆62Updated 8 years ago
- Test case minimizer for afl-fuzz☆26Updated 7 years ago
- run AFL with pintool☆65Updated 4 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 8 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
- covFuzz☆34Updated 7 years ago
- A ROP and binary analysis exploit challenge for edurange☆15Updated 9 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- Patches to afl to fix bugs or add enhancements☆81Updated 5 years ago
- A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html☆36Updated 9 years ago
- The collection of programs for evaluating fuzzing techniques☆20Updated 7 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆67Updated 11 years ago
- Python concolic execution framework for program analysis☆65Updated 10 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
- Augmenting Static Analysis Using Pintool: Ablation☆39Updated 8 years ago
- [WIP] pivot a running process into an emulator for instrumentation☆13Updated 8 years ago
- Automatically exported from code.google.com/p/kemufuzzer☆27Updated 9 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 5 years ago
- Utilities for generating dynamic traces☆89Updated 2 years ago
- A "general-purpose" tracing tool