Lifting Bits

Repositories

• remill

  Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

  x86-64 llvm x86 instruction-semantics aarch64 llvm-ir
  11 packages C++ Apache-2.0 75 548 34 (7 issues need help) 4 Updated Nov 12, 2020

• mcsema

  Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

  x86-64 llvm ida x86 binary-analysis sparc llvm-bitcode
  9 packages C++ AGPL-3.0 269 1,832 87 (9 issues need help) 2 Updated Nov 12, 2020

• anvill

  ANVILL forges beautiful LLVM bitcode out of raw machine code

  llvm decompiler remill
  8 packages C++ AGPL-3.0 13 87 14 1 Updated Nov 6, 2020

• rellic

  Rellic produces goto-free C output from LLVM bitcode

  c llvm decompiler reverse-engineering
  10 packages C++ Apache-2.0 16 189 13 (2 issues need help) 0 Updated Nov 4, 2020

• vmill

  emulator llvm
  C++ 2 2 7 0 Updated Nov 3, 2020

• microx

  Safely execute an arbitrary x86 instruction

  emulator python-bindings x86 binary-translation
  C++ Apache-2.0 17 117 3 0 Updated Sep 3, 2020

• klee

  Forked from klee/klee

  KLEE Symbolic Execution Engine
  C++ 467 49 4 0 Updated Oct 27, 2019

• mcsema_blog_post

  Lifting and Diversifying Binaries (blog post accompanying materials)

  blog-post mcsema binary-lifting
  Shell 0 4 0 1 Updated Oct 3, 2019

• grr

  High-throughput fuzzer and emulator of DECREE binaries

  emulator fuzzer decree
  C++ Apache-2.0 29 227 4 (1 issue needs help) 0 Updated Sep 4, 2019

• fennec

  Rewriting functions in compiled binaries using McSema

  patching binary-rewriting
  LLVM 11 75 0 0 Updated Aug 6, 2019

• mcsema-legacy Archived

  Archive of the initial monolithic version of mcsema
  C++ BSD-3-Clause 3 2 0 0 Updated Apr 16, 2019

• abigen Archived

  Generate McSema ABI libraries from Header Files

  mcsema
  C++ 0 2 3 0 Updated Jan 16, 2019

• fcd Archived

  Forked from zneak/fcd

  An optimizing decompiler (modified to use remill semantics)
  C++ 61 23 21 1 Updated Jan 4, 2019

• codereason Archived

  Semantic Binary Code Analysis Framework
  C++ MIT 29 127 28 0 Updated Sep 28, 2015

• libvex Archived

  LibVEX with patches to support static analysis
  C 8 31 0 0 Updated Jul 13, 2015