lifting-bits Goto Github PK

.github

abigen

Generate McSema ABI libraries from Header Files

anghabench

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

anvill

anvill forges beautiful LLVM bitcode out of raw machine code

codereason

Semantic Binary Code Analysis Framework

cxx-common

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

dds

Dr. Disassembler

download-cxx-common

Download cxx-common github action

fcd

An optimizing decompiler (modified to use remill semantics)

fennec

Rewriting functions in compiled binaries using McSema

gap

A utility library to bridge llvm and mlir gaps.

grr

High-throughput fuzzer and emulator of DECREE binaries

klee

KLEE Symbolic Execution Engine

libvex

LibVEX with patches to support static analysis

lifting-tools-ci

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

mcsema

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

mcsema-legacy

Archive of the initial monolithic version of mcsema

mcsema_blog_post

Lifting and Diversifying Binaries (blog post accompanying materials)

microx

Safely execute an arbitrary x86 instruction

pillar

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

rellic

Rellic produces goto-free C output from LLVM bitcode

remill

Library for lifting machine code to LLVM bitcode

sleigh

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

vmill

xed

x86 encoder decoder