pakt / ropcLinks
A Turing complete ROP compiler
☆327Updated 12 years ago
Alternatives and similar repositories for ropc
Users that are interested in ropc are comparing it to the libraries listed below
Sorting:
- An amd64 symbolic emulator☆312Updated 4 years ago
- A static binary rewriter that does not use heuristics☆306Updated 7 years ago
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆311Updated 5 years ago
- Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone☆322Updated 6 years ago
- Notes on various topics I'm interested in☆160Updated 10 years ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆262Updated last month
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆509Updated 4 years ago
- ☆105Updated 10 years ago
- The Jakstab static analysis platform for binaries☆160Updated 5 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆312Updated 5 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆206Updated last week
- ☆172Updated 3 years ago
- Tool to generate ROP gadgets for ARM, AARCH64, x86, MIPS, PPC, RISCV, SH4 and SPARC☆305Updated last year
- Implementations of program analysis tools with a focus on machine code☆208Updated 11 years ago
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆341Updated 6 years ago
- add symbols back into a stripped ELF binary (~strip)☆175Updated 8 years ago
- Samples of binary with different formats and architectures. A test suite for your binary analysis tools.☆260Updated 6 years ago
- a bare metal (type 1) VMM (hypervisor) with a python remote control API☆184Updated 7 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Updated last month
- Function redirection via ELF tricks.☆161Updated 10 years ago
- Export dwarf debug information from IDA Pro☆212Updated 3 years ago
- Python bindings for Valgrind's VEX IR.☆367Updated last week
- A hypervisor for fuzzing built with WHVP and Bochs☆379Updated 6 years ago
- A patched version of VEX to work with PyVEX.☆112Updated 3 weeks ago
- A Bochs-based instrumentation performing kernel memory taint tracking to detect disclosure of uninitialized memory to ring 3☆308Updated 6 years ago
- Unlinks a binary executable to get back a set of .o object files for further transformation and re-linking.☆161Updated 3 years ago
- ☆237Updated 7 years ago
- A decompiler with multiple backend support, written in Python. Works with IDA and Capstone.☆532Updated 9 years ago
- A patch analysis tool☆363Updated 5 years ago
- CLE Loads Everything (at least, many binary formats!)☆462Updated last week