Top 19 llvm-ir Open-Source Projects

• llvm-tutor

  1 2,716 6.4 C++

  A collection of out-of-tree LLVM passes for teaching and learning

• remill

  3 1,177 6.4 C++

  Library for lifting machine code to LLVM bitcode

  

Project mention: Revng translates (i386, x86-64, MIPS, ARM, AArch64, s390x) binaries to LLVM IR | news.ycombinator.com | 2024-01-12

Usually such things are called lifters. Wonder how this tool compares to other existing LLVM IR lifters, such as remill[0] and rellume[1].

0: https://github.com/lifting-bits/remill

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• llvm

  4 1,154 2.2 Go

  Library for interacting with LLVM IR in pure Go. (by llir)

  

• VMProtect-devirtualization

  3 1,049 0.0 Roff

  Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.

• alive2

  4 675 9.3 C++

  Automatic verification of LLVM optimizations

  

Project mention: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs | news.ycombinator.com | 2023-05-15

You can use it to (mostly) validate small snippets are the same. See Alive2 for the application of Z3/formalization of programs as SMT for that [1]. As far as I'm aware there are some problems scaling up to arbitrarily sized programs due to a lack of formalization in higher level languages in addition to computational constraints. With a lot of time and effort it can be done though [2].

1. https://github.com/AliveToolkit/alive2

2. https://sel4.systems/

• cargo-show-asm

  15 581 9.1 Rust

  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code

Project mention: Performance difference between obj.function(...) and function(obj, ...) ? | /r/rust | 2023-12-08

• llvm-hs

  4 498 0.0 LLVM

  Haskell bindings for LLVM

  

Project mention: Is it viable to develop a compiler in haskell that uses LLVM | /r/haskell | 2023-06-02

The llvm-hs GitHub has branches for LLVM 12 and even LLVM 15. I believe the LLVM 12 version works pretty well, but I am not sure of the LLVM 15 version.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• rellume

  1 321 8.8 C++

  Lift machine code to performant LLVM IR

Project mention: Revng translates (i386, x86-64, MIPS, ARM, AArch64, s390x) binaries to LLVM IR | news.ycombinator.com | 2024-01-12

• ProGraML

  1 286 3.8 C++

  A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations

• cpg

  1 242 9.3 Kotlin

  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

  

• LLVM-Guide

  2 111 4.7 C++

  LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs. Originally implemented for C/C++ , though, has a variety of front-ends, including Java, Python, etc.

• llvm-hs-pretty

  0 63 0.0 LLVM

  Pretty printer for LLVM AST to Textual IR

  

• llvm

  1 56 0.0

  LLVM based obfuscator (by Deniskore)

• chocopy-python-compiler

  3 45 5.8 Python

  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3.

• mewa

  1 21 0.0 C++

  Compiler-compiler for writing compiler frontends with Lua

• bf

  3 8 5.6 Kotlin

  An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox. (by mrjameshamilton)

• nebula

  1 6 1.8 Go

  Compiler for the stack-based Whitespace language with LLVM back end. (by thaliaarchi)

• cbfc

  1 2 0.0 Ruby

  an optimizing brainfuck compiler and interpreter

• expr-ir

  1 2 0.0 C++

  An Expression Tree to LLVM-IR Example.

• SaaSHub

  www.saashub.com sponsored

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

llvm-ir related posts

• Revng translates (i386, x86-64, MIPS, ARM, AArch64, s390x) binaries to LLVM IR
  7 projects | news.ycombinator.com | 12 Jan 2024
• Is it viable to develop a compiler in haskell that uses LLVM
  3 projects | /r/haskell | 2 Jun 2023
• Cargo command to analyze the code
  1 project | /r/rust | 20 May 2023
• Go Noob question: How can I output LLVM IR, instrument it and also looking for a symbolic execution engine
  3 projects | /r/golang | 29 Jul 2022
• fcd – LLVM-based native program optimizing decompiler
  4 projects | news.ycombinator.com | 1 May 2022
• Using LLVM with Go
  1 project | /r/Compilers | 31 Mar 2022
• Compiling llvm ir into a binary using Go
  1 project | /r/golang | 29 Mar 2022
• A note from our sponsor - WorkOS
  workos.com | 29 Apr 2024

  The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com