ParkHanbum / zigzi
Programmable instrumentation framework for COTS binary
☆10Updated 7 years ago
Alternatives and similar repositories for zigzi:
Users that are interested in zigzi are comparing it to the libraries listed below
- Re-randomizing the memory layout of a process at runtime☆21Updated 8 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Updated 8 years ago
- ☆26Updated 9 years ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 8 years ago
- libs2e.so☆20Updated 4 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆81Updated 6 years ago
- A framework for control-flow recovery in binary programs.☆11Updated 6 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- Python concolic execution framework for program analysis☆65Updated 10 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆46Updated 7 years ago
- Convert Challenge Binaries to shared objects so service pollers can make use of the algorithm implementations☆14Updated 8 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆59Updated 6 years ago
- Z3 Symbolic Execution python☆28Updated 7 years ago
- ☆63Updated 3 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
- Public release of the tools used to assist in gadget finding.☆41Updated 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
- ☆28Updated 2 years ago
- CRETE under development☆59Updated 4 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- ☆19Updated 5 years ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆18Updated 9 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- S2E Core Engine Library☆15Updated 5 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆45Updated 2 years ago
- S2E plugins library☆17Updated 5 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆14Updated 7 years ago