Lifting Bits

Repositories

• rellic

  Rellic produces goto-free C output from LLVM bitcode

  c llvm decompiler reverse-engineering
  3 packages C++ Apache-2.0 14 167 13 (2 issues need help) 0 Updated Jun 1, 2020

• remill

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

  x86-64 llvm x86 instruction-semantics aarch64 llvm-ir
  9 packages C++ Apache-2.0 64 476 37 (8 issues need help) 8 Updated May 27, 2020

• mcsema

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

  x86-64 llvm ida x86 binary-analysis llvm-bitcode aarch64
  9 packages Python Apache-2.0 240 1,647 79 (9 issues need help) 6 Updated May 24, 2020

• anvill

  ANVILL forges beautiful LLVM bitcode out of raw machine code

  decompiler
  4 packages C++ AGPL-3.0 6 53 10 0 Updated May 15, 2020

• microx

  Safely execute an arbitrary x86 instruction

  emulator python-bindings x86 binary-translation
  C++ Apache-2.0 16 107 1 0 Updated Apr 25, 2020

• klee

  Forked from klee/klee

  KLEE Symbolic Execution Engine
  C++ 433 47 4 0 Updated Oct 28, 2019

• mcsema_blog_post

  Lifting and Diversifying Binaries (blog post accompanying materials)

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

• grr

  High-throughput fuzzer and emulator of DECREE binaries

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

• fennec

  Rewriting functions in compiled binaries using McSema

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

• vmill
  C++ 2 2 7 0 Updated Jun 18, 2019

• mcsema-legacy Archived

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

• abigen

  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++ 59 23 21 1 Updated Jan 4, 2019

• codereason Archived

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

• libvex Archived

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