Alternatives and similar repositories for interpiler:

Users that are interested in interpiler are comparing it to the libraries listed below

• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 6 years ago
• stephenrkell / libdlbind
  Dynamic creation and update of ELF files, or: an allocator for JIT compilers
  ☆33Updated last year
• moflow / disassembler-benchmarks
  ☆16Updated 7 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 10 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 4 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated last month
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 9 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆43Updated 3 years ago
• avast / capstone-dumper
  Utility for dumping all the information Capstone has on given instructions.
  ☆24Updated 3 years ago
• rdbv / arpilnik
  PL/0 compiler to x86 asm
  ☆11Updated last year
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 2 months ago
• rofl0r / debuglib
  wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.
  ☆21Updated 3 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated last year
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆65Updated 5 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 7 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated this week
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• corsix / pigz
  Optimised x86-64 gzip decompressor
  ☆29Updated 7 years ago
• nullpo-head / x86-MSR-header
  A Public-domain C header file for x86 MSR (Model Specific Register) addresses, and a naive generator of it.
  ☆14Updated 7 years ago