fay59 / interpilerLinks
Turn an interpreter into a code generator
☆31Updated 10 years ago
Alternatives and similar repositories for interpiler
Users that are interested in interpiler are comparing it to the libraries listed below
Sorting:
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆78Updated 8 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 years ago
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- A library for disassembling x86-64 binaries.☆44Updated 7 months ago
- 32-bit x86 emulator using ncurses and capstone/keystone/unicorn☆30Updated 7 years ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆35Updated 3 weeks ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 3 years ago
- Experimental tracing framework for Python on Windows.☆61Updated 5 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated last week
- Common dependency management for various Trail of Bits C++ codebases☆34Updated last year
- ☆20Updated 10 years ago
- A Public-domain C header file for x86 MSR (Model Specific Register) addresses, and a naive generator of it.☆14Updated 8 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆64Updated 3 weeks ago
- Haxathon Supremacy Virtual Machine☆33Updated 8 years ago
- A tiny tool to learn the assembly code☆12Updated 8 years ago
- ☆74Updated 3 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆65Updated 7 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- A Linux based Windows compatible user mode kernel☆59Updated 16 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆46Updated 9 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- LibPacket is a portable library designed for decoding and parsing TCP/IP packets, offering a clean API to facilitate the development of p…☆17Updated 9 months ago
- Generic Decoder Specification Language Toolkit☆32Updated 6 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago
- X86/X64/ARM/MIPS Assembler/Disassembler/Decomposer Library☆37Updated 6 years ago
- Tiny Code Generator Library☆46Updated 4 years ago