S2E / libtcg
Tiny Code Generator Library
☆45Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for libtcg
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 9 years ago
- x86 Dynamic Binary Translator Library☆34Updated 3 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 6 years ago
- Tracing framework for full system simulators☆54Updated 9 years ago
- ☆27Updated 8 years ago
- A library for dynamic binary rewriting☆57Updated 3 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 7 months ago
- Diablo is a retargetable link-time binary rewriting framework☆74Updated 3 years ago
- A simple library focusing on demangling symbols for different programing languages☆39Updated 3 years ago
- Binary Translator to LLVM IR☆47Updated 6 years ago
- Common dependency management for various Trail of Bits C++ codebases☆31Updated 4 months ago
- ☆74Updated 2 years ago
- An assembler to intermediate language translator based on Qemu☆32Updated 8 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- S2E Core Engine Library☆15Updated 4 years ago
- Extracting high level semantic information from binary code☆64Updated 5 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 2 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆103Updated 6 years ago
- Simple and small library that allows disassembly of raw bytes for multiple architectures☆29Updated last year
- KLEE-TAINT - Klee with taint analysis support☆71Updated 7 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆44Updated 4 years ago
- deprecated☆46Updated 5 years ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆22Updated 2 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- ARMv7 architecture plugin☆39Updated 8 months ago
- TracerX Symbolic Virtual Machine☆31Updated this week
- Fast and efficient binary translator☆58Updated 5 years ago
- Utility for dumping all the information Capstone has on given instructions.☆24Updated 3 years ago
- llvm with tablegen backend for capstone disassembler☆40Updated this week