S2E / libtcg
Tiny Code Generator Library
☆46Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for libtcg
- An assembler to intermediate language translator based on Qemu☆32Updated 8 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 8 months ago
- x86 Dynamic Binary Translator Library☆34Updated 3 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- A library for dynamic binary rewriting☆57Updated 3 years ago
- A simple library focusing on demangling symbols for different programing languages☆41Updated 3 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆45Updated 4 years ago
- ☆27Updated 8 years ago
- Diablo is a retargetable link-time binary rewriting framework☆74Updated 3 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆104Updated 6 years ago
- Binary Translator to LLVM IR☆47Updated 6 years ago
- Fast and efficient binary translator☆58Updated 5 years ago
- Simple and small library that allows disassembly of raw bytes for multiple architectures☆29Updated last year
- Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers☆16Updated 4 months ago
- Extracting high level semantic information from binary code☆64Updated 5 years ago
- ARMv7 architecture plugin☆39Updated 8 months ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Updated 4 months ago
- Pretty printer from GTIRB to assembly code☆48Updated this week
- Tracing framework for full system simulators☆54Updated 9 years ago
- Tool to recover C headers (types, function signatures) from DWARF debug data☆46Updated 2 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆34Updated 2 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆17Updated 6 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- ROP database plugin for IDA☆31Updated 6 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 2 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Common dependency management for various Trail of Bits C++ codebases☆31Updated 5 months ago
- TracerX Symbolic Virtual Machine☆31Updated this week