The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Project moved to: https://github.com/llvm/llvm-project

Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

The Vellvm (Verified LLVM) coq development.

anvill forges beautiful LLVM bitcode out of raw machine code

A tool for analyzing x86-64 binaries.

Binary Translator to LLVM IR

Tapir extension to LLVM for optimizing Parallel Programs

Experimental translation of llvm to smt.

Formal semantics of LLVM IR in K

A fork of the LLVM project for personal use