Lifting Bits (lifting-bits)

Lifting Bits

lifting-bits

Organization data from Github https://github.com/lifting-bits

Binary Translation by @trailofbits

Location:New York, NY

Home Page:https://www.trailofbits.com

Github PK Tool:Github PK Tool

Lifting Bits's repositories

cxx-common

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

Language:CMakeLicense:Apache-2.0Stargazers:17Forks:6Issues:11

sleigh

CMake build for SLEIGH

Language:CMakeLicense:Apache-2.0Stargazers:6Forks:2Issues:5

remill

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

Language:C++License:Apache-2.0Stargazers:734Forks:96Issues:52

anvill

anvill forges beautiful LLVM bitcode out of raw machine code

Language:LLVMLicense:AGPL-3.0Stargazers:174Forks:24Issues:50

rellic

Rellic produces goto-free C output from LLVM bitcode

Language:C++License:Apache-2.0Stargazers:294Forks:26Issues:35

lifting-tools-ci

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

Language:PythonStargazers:0Forks:0Issues:0

mcsema

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

Language:C++License:AGPL-3.0Stargazers:2179Forks:308Issues:110

microx

Safely execute an arbitrary x86 instruction

Language:C++License:Apache-2.0Stargazers:134Forks:17Issues:6

AnghaBench

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

Stargazers:7Forks:1Issues:0
Language:C++Stargazers:29Forks:6Issues:7

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:54Forks:3Issues:4

mcsema_blog_post

Lifting and Diversifying Binaries (blog post accompanying materials)

Language:ShellStargazers:4Forks:0Issues:1

grr

High-throughput fuzzer and emulator of DECREE binaries

Language:C++License:Apache-2.0Stargazers:233Forks:31Issues:4

fennec

Rewriting functions in compiled binaries using McSema

Language:LLVMStargazers:76Forks:11Issues:0

mcsema-legacy

Archive of the initial monolithic version of mcsema

Language:C++License:BSD-3-ClauseStargazers:2Forks:3Issues:0

abigen

Generate McSema ABI libraries from Header Files

Language:C++Stargazers:2Forks:1Issues:3

fcd

An optimizing decompiler (modified to use remill semantics)

Language:C++License:NOASSERTIONStargazers:23Forks:2Issues:22

codereason

Semantic Binary Code Analysis Framework

Language:C++License:MITStargazers:128Forks:27Issues:28

libvex

LibVEX with patches to support static analysis

Language:CLicense:NOASSERTIONStargazers:34Forks:9Issues:0