googleprojectzero / TinyInst
A lightweight dynamic instrumentation library
☆1,182Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for TinyInst
- A powerful static binary rewriting tool☆983Updated 3 months ago
- Binary, coverage-guided fuzzer for Windows, macOS, Linux and Android☆1,094Updated 2 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆680Updated 6 months ago
- A fast and accurate disassembler☆662Updated last week
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,417Updated 3 weeks ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,691Updated last month
- A Coverage Explorer for Reverse Engineers☆2,258Updated 4 months ago
- Winnie is an end-to-end system that makes fuzzing Windows applications easy☆542Updated last year
- Export disassemblies into Protocol Buffers☆1,045Updated 2 weeks ago
- SymCC: efficient compiler-based symbolic execution☆789Updated 4 months ago
- A fuzzer for full VM kernel/driver targets☆659Updated 2 months ago
- revng: the core repository of the rev.ng project☆1,317Updated this week
- Library for lifting machine code to LLVM bitcode☆1,301Updated 4 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆533Updated 2 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆451Updated 3 weeks ago
- The fastest Intel-PT decoder for fuzzing☆361Updated 9 months ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆397Updated 2 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆467Updated 4 months ago
- Rellic produces goto-free C output from LLVM bitcode☆537Updated 2 months ago
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆811Updated last year
- Open-source symbolic execution framework: https://maat.re☆616Updated 2 months ago
- The official angr GUI.☆907Updated this week
- Karta - source code assisted fast binary matching plugin for IDA☆864Updated last year
- Automated static analysis tools for binary programs☆1,559Updated 2 months ago
- A Trace Explorer for Reverse Engineers☆1,328Updated last year
- Use angr in Ghidra☆562Updated 3 months ago
- cwe_checker finds vulnerable patterns in binary executables☆1,130Updated 3 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆340Updated 2 months ago
- afl-unicorn lets you fuzz any piece of binary that can be emulated by Unicorn Engine.☆596Updated last year
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,499Updated 2 months ago