lifting-bits/mcsema 📦

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

Language: C++ - Size: 154 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 2,592 - Forks: 344

andoma/vmir

Virtual Machine for Intermediate Representation

Language: C - Size: 846 KB - Last synced at: 19 days ago - Pushed at: almost 5 years ago - Stars: 679 - Forks: 77

mchalupa/dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Language: C++ - Size: 5.72 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 504 - Forks: 137

SheLLVM/SheLLVM

A collection of LLVM transform and analysis passes to write shellcode in regular C

Language: C++ - Size: 68.4 KB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 373 - Forks: 45

UbiquityDotNET/Llvm.NET

LLVM Bindings for .NET

Language: C# - Size: 66.8 MB - Last synced at: 5 days ago - Pushed at: 14 days ago - Stars: 89 - Forks: 11

ShiftLeftSecurity/llvm2cpg

LLVM meets Code Property Graphs

Language: C++ - Size: 600 KB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 81 - Forks: 6

sdasgup3/binary-decompilation

Extracting high level semantic information from binary code

Language: Assembly - Size: 244 MB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 65 - Forks: 8

ShiftLeftSecurity/llvm2graphml

Explore LLVM Bitcode interactively using a graph database

Language: C++ - Size: 76.2 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 52 - Forks: 1

ZHYfeng/Generate_Linux_Kernel_Bitcode

Language: Go - Size: 40 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 10

thierry-tct/mart

LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM

Language: C++ - Size: 80.8 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 25 - Forks: 6

Nukem9/Dxbc2Dxil

DEPRECATED. DXBC to DXIL (HLSL Bytecode to LLVM IR) using internal APIs.

Language: C++ - Size: 775 KB - Last synced at: 5 days ago - Pushed at: about 5 years ago - Stars: 24 - Forks: 5

mse-org/mselang

The Pascal compiler of LLVM.

Language: Pascal - Size: 4.01 MB - Last synced at: 14 days ago - Pushed at: almost 4 years ago - Stars: 20 - Forks: 3

vsee/openCLFeatureExtract

Extracts static code features from opencl kernels to be used for machine learning.

Language: C - Size: 18.6 KB - Last synced at: 6 months ago - Pushed at: about 4 years ago - Stars: 10 - Forks: 5

BaseMax/FirstLLVMC

Generate object code and IR code of a simple program using LLVM in Pure C.

Language: C - Size: 28.3 KB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 1

xigh/llvmbc-dump

Simple tool extracts LLVM bitcode modules from ELF binaries compiled with "-fembed-bitcode"

Language: C - Size: 1.81 MB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0

dracarys983/Compiler

Compilers course project. Developed a compiler for a subset of C programming language (Decaf).

Language: C++ - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 3

llvee/Llvee-LLVM-AI

An AI that automatically solves LLVM challenges for compiler engineers.

Language: Rust - Size: 16.6 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0

billsioros/minijavacc

A Compiler for a subset of Java (aka Minijava)

Language: Java - Size: 854 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

Research-Tools-PAVT/fabric-verify

Formal Verification of Hyperledger Fabric Chaincode. Example for cross border inter-bank asset transfer in fabric 1.4

Language: LLVM - Size: 86.9 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

ciusji/sql_vectorization_compilation

Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretation based) engines and compiling engines.

Language: C++ - Size: 461 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1

ergrelet/llvm-ebc-lddump

Fake linker plugin compatible with lld and GNU ld, which dumps the linker's command-line in a file.

Language: C - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

michardy/graalhello

Running a Rust crate under GraalVM's LLVM IR interpreter.

Language: Rust - Size: 7.81 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

regular/make-llvm-bitcode-for-javascript

helper script that compiles llvm tools (llvm-as, llvm-dis, opt, etc.) to llvm Bitcode for later transformation into JavaScript by emscripten

Language: C - Size: 129 KB - Last synced at: 3 months ago - Pushed at: almost 10 years ago - Stars: 1 - Forks: 0

edg-l/llvm-bc

LLVM Bitcode Writer in Rust without depending on LLVM :star:

Language: Rust - Size: 37.1 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0