Lifting Bits

mcsema

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

remill

Library for lifting machine code to LLVM bitcode

rellic

Rellic produces goto-free C output from LLVM bitcode

anvill

anvill forges beautiful LLVM bitcode out of raw machine code

grr

High-throughput fuzzer and emulator of DECREE binaries

microx

Safely execute an arbitrary x86 instruction

sleigh

Unofficial CMake build for Ghidra's C++ SLEIGH code

codereason

Semantic Binary Code Analysis Framework

fennec

Rewriting functions in compiled binaries using McSema

klee

KLEE Symbolic Execution Engine

libvex

LibVEX with patches to support static analysis

dds

Dr. Disassembler

cxx-common

Common dependency management for various Trail of Bits C++ codebases

fcd

An optimizing decompiler (modified to use remill semantics)

vmill

patchestry

Patchestry is a binary patching framework built with MLIR and Ghidra.

gap

A utility library to bridge llvm and mlir gaps.

AnghaBench

A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.

pillar

Lift VAST's high-level MLIR dialect to Clang ASTs

mcsema_blog_post

Lifting and Diversifying Binaries (blog post accompanying materials)

abigen

Generate McSema ABI libraries from Header Files

download-cxx-common

Download cxx-common github action

lifting-tools-ci

Utilities to help with Continuous Integration & Testing for Binary Translation Tools

mcsema-legacy

Archive of the initial monolithic version of mcsema

.github

xed

x86 encoder decoder