audaine Goto Github PK

anvill

anvill forges beautiful LLVM bitcode out of raw machine code

blight

A framework for instrumenting build tools

capstone

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), BPF, Ethereum VM, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

clangir

A new high-level IR for clang.

gap

A utility library to bridge llvm and mlir gaps.

glog

C++ implementation of the Google logging module

grr

High-throughput fuzzer and emulator of DECREE binaries

gun-rs

rust port of gundb to support multiple environments

jsonwebkey-rs

Convert RSA Public Key between PEM and JWK

klee

KLEE Symbolic Execution Engine

llvm-capstone

llvm with tablegen backend for capstone disassembler

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

llvm-test-suite

llvm-zorg

maat

Open-source symbolic execution framework: https://maat.re

manticore

Symbolic execution tool

mcsema

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

microx

Safely execute an arbitrary x86 instruction

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

polygeist

C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!

rellic

Rellic produces goto-free C output from LLVM bitcode

remill

Library for lifting machine code to LLVM bitcode

tflite-rs

unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

zydis

Fast and lightweight x86/x86-64 disassembler and code generation library

zydis-db

Zydis instruction DB and editor/generator project