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

9 packages C++ Apache-2.0 71 487 42 (8 issues need help) 6 Updated Aug 8, 2020

anvill

ANVILL forges beautiful LLVM bitcode out of raw machine code

decompiler

4 packages C++ AGPL-3.0 9 59 12 1 Updated Aug 5, 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 C++ AGPL-3.0 257 1,719 85 (9 issues need help) 6 Updated Aug 5, 2020

rellic

Rellic produces goto-free C output from LLVM bitcode

c llvm decompiler reverse-engineering

3 packages C++ Apache-2.0 16 173 13 (2 issues need help) 0 Updated Jul 17, 2020

vmill

C++ 2 2 7 0 Updated Jul 17, 2020

microx

Safely execute an arbitrary x86 instruction

emulator python-bindings x86 binary-translation

C++ Apache-2.0 17 109 1 0 Updated Jun 30, 2020

klee

Forked from klee/klee

KLEE Symbolic Execution Engine

C++ 447 48 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 226 4 (1 issue needs help) 0 Updated Sep 4, 2019

fennec

Rewriting functions in compiled binaries using McSema

patching binary-rewriting

LLVM 11 70 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

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 29 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