#

llvm-bitcode

https://static.github-zh.com/github_avatars/lifting-bits?size=40

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

C++ 2.72 k
3 年前
https://static.github-zh.com/github_avatars/andoma?size=40

Virtual Machine for Intermediate Representation

C 692
5 年前
https://static.github-zh.com/github_avatars/mchalupa?size=40

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

C++ 512
4 个月前
https://static.github-zh.com/github_avatars/SheLLVM?size=40

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

C++ 381
2 年前
https://static.github-zh.com/github_avatars/ShiftLeftSecurity?size=40

LLVM meets Code Property Graphs

C++ 93
5 年前
https://static.github-zh.com/github_avatars/sdasgup3?size=40
Assembly 66
6 年前
https://static.github-zh.com/github_avatars/ShiftLeftSecurity?size=40

Explore LLVM Bitcode interactively using a graph database

C++ 58
6 年前
https://static.github-zh.com/github_avatars/thierry-tct?size=40

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

C++ 25
3 年前
https://static.github-zh.com/github_avatars/Nukem9?size=40

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

C++ 24
5 年前
https://static.github-zh.com/github_avatars/mse-org?size=40
Pascal 20
4 年前
https://static.github-zh.com/github_avatars/vsee?size=40

#计算机科学#Extracts static code features from opencl kernels to be used for machine learning.

C 10
4 年前
https://static.github-zh.com/github_avatars/BaseMax?size=40

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

C 7
4 年前
https://static.github-zh.com/github_avatars/xigh?size=40

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

C 5
7 年前
https://static.github-zh.com/github_avatars/dracarys983?size=40

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

C++ 5
8 年前
https://static.github-zh.com/github_avatars/Research-Tools-PAVT?size=40

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

LLVM 5
3 年前
https://static.github-zh.com/github_avatars/llvee?size=40

An AI that automatically solves LLVM challenges for compiler engineers.

Rust 3
1 年前
https://static.github-zh.com/github_avatars/ciusji?size=40

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

C++ 3
4 年前
loading...
Website
Wikipedia