googleprojectzero / TinyInstLinks
A lightweight dynamic instrumentation library
☆1,259Updated 2 months ago
Alternatives and similar repositories for TinyInst
Users that are interested in TinyInst are comparing it to the libraries listed below
Sorting:
- A powerful static binary rewriting tool☆1,019Updated 2 months ago
- Binary, coverage-guided fuzzer for Windows, macOS, Linux and Android☆1,217Updated 2 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆715Updated last month
- A fuzzer for full VM kernel/driver targets☆720Updated 2 weeks ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,806Updated 3 months ago
- Winnie makes fuzzing Windows applications easy☆559Updated 2 years ago
- A Coverage Explorer for Reverse Engineers☆2,367Updated 11 months ago
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,540Updated this week
- Export disassemblies into Protocol Buffers☆1,110Updated this week
- Library for lifting machine code to LLVM bitcode☆1,417Updated 3 weeks ago
- A fast and accurate disassembler☆706Updated this week
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆474Updated 11 months ago
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆833Updated last year
- Use angr in Ghidra☆585Updated 10 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆568Updated 2 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆352Updated 9 months ago
- The fastest Intel-PT decoder for fuzzing☆370Updated last year
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆615Updated 6 months ago
- Karta - source code assisted fast binary matching plugin for IDA☆884Updated 2 years ago
- revng: the core repository of the rev.ng project☆1,476Updated this week
- Rellic produces goto-free C output from LLVM bitcode☆561Updated last month
- SymCC: efficient compiler-based symbolic execution☆817Updated last month
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,549Updated last week
- Automated static analysis tools for binary programs☆1,611Updated 2 weeks ago
- ☆681Updated 2 months ago
- The official angr GUI.☆1,002Updated this week
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆476Updated 6 months ago
- A tool for matching and diffing source codes directly against binaries.☆646Updated 2 years ago
- A Trace Explorer for Reverse Engineers☆1,422Updated last year
- ☆440Updated 8 months ago