SideChannelMarvels / TracerLinks
Set of Dynamic Binary Instrumentation and visualization tools for execution traces.
☆328Updated last year
Alternatives and similar repositories for Tracer
Users that are interested in Tracer are comparing it to the libraries listed below
Sorting:
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆264Updated 3 weeks ago
- A tool to perform (higher-order) correlation power analysis attacks (CPA).☆164Updated 4 years ago
- A plugin for Hex-Ray's IDA Pro and radare2 to export the symbols recognized to the ELF symbol table☆214Updated 3 years ago
- Function redirection via ELF tricks.☆164Updated 10 years ago
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆315Updated 5 years ago
- Ghidra Program Analysis Library☆347Updated 2 years ago
- IDA script for highlighting and decoding ARM system instructions☆405Updated 4 years ago
- Code and exercises for a workshop on z3 and angr☆234Updated 5 years ago
- Python bindings for Valgrind's VEX IR.☆374Updated this week
- add symbols back into a stripped ELF binary (~strip)☆177Updated 8 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆214Updated last week
- Use angr inside GDB. Create an angr state from the current debugger state.☆203Updated 5 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆189Updated 4 years ago
- SymGDB - symbolic execution plugin for gdb☆218Updated 7 years ago
- A Miasm2 based function divination.☆543Updated 5 years ago
- Scripts for Binary Ninja☆258Updated 2 years ago
- Export dwarf debug information from IDA Pro☆215Updated 3 years ago
- Tool to generate ROP gadgets for ARM, AARCH64, x86, MIPS, PPC, RISCV, SH4 and SPARC☆306Updated last year
- Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone☆324Updated 6 years ago
- Binary code coverage visualizer plugin for Ghidra☆297Updated last year
- This tool can be useful for solving some reversing challenges in CTFs events.☆145Updated 6 years ago
- A program to draw rectangles from heap traces.☆135Updated 5 years ago
- QEMU-based framework exposing several of QEMU-internal APIs to a LuaJIT core injected into QEMU itself. Among other things, this allows f…☆154Updated 7 years ago
- A Turing complete ROP compiler☆326Updated 12 years ago
- A repository to store Z3-python scripts you can use as examples, reminders, whatever.☆280Updated 5 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆264Updated 8 months ago
- Symbolic Execution Tool in r2☆106Updated 4 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆321Updated 2 years ago
- An amd64 symbolic emulator☆314Updated 4 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Updated 5 months ago