Search Results - RepositoryStats

llvm-tutor banach-space

398

3.0k

mit

55

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

llvm llvm-ir tutorial compilers llvm-pass llvm-tutor llvm-plugins llvm-tutorial

Created 2019-03-25

283 commits to main branch, last one 27 days ago

mcsema lifting-bits

341

2.7k

agpl-3.0

113

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

ida x86 llvm sparc x86-64 aarch64 llvm-ir sparc64 llvm-bitcode binary-analysis

This repository has been archived (exclude archived)

Created 2014-07-29

1,084 commits to master branch, last one 2 years ago

llvm-ir-tutorial Evian-Zhang

146

1.3k

cc-by-4.0

32

LLVM IR入门指南

llvm llvm-ir

Created 2020-07-18

55 commits to master branch, last one 10 months ago

remill lifting-bits

144

1.3k

apache-2.0

63

Library for lifting machine code to LLVM bitcode

x86 llvm armv7 armv8 thumb2 x86-64 aarch64 llvm-ir sparcv8 sparcv9 instruction-semantics

Created 2015-10-22

1,060 commits to master branch, last one 5 months ago

llvm llir

79

1.2k

0bsd

31

Library for interacting with LLVM IR in pure Go.

go llvm golang llvm-ir

Created 2014-09-19

1,720 commits to master branch, last one 15 days ago

VMProtect-devirtualization JonathanSalwan

193

1.2k

unknown

31

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

llvm-ir vmprotect deobfuscation program-analysis symbolic-execution

Created 2022-02-14

4 commits to main branch, last one 2 years ago

alive2 AliveToolkit

108

820

mit

23

Automatic verification of LLVM optimizations

smt llvm llvm-ir verification model-checking symbolic-execution automatic-verification translation-validation

Created 2018-06-09

2,452 commits to master branch, last one a day ago

cargo-show-asm pacak

37

726

apache-2.0

6

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

rust cargo llvm-ir assembly cargo-plugin optimization cargo-subcommand

Created 2022-03-04

761 commits to master branch, last one a day ago

llparse nodejs

33

587

other

21

Generating parsers in LLVM IR

llvm-ir finite-state-machine

Created 2018-02-11

260 commits to main branch, last one 3 months ago

llvm-hs llvm-hs

121

513

unknown

22

Haskell bindings for LLVM

llvm llvm-hs llvm-ir code-generation haskell-bindings

Created 2017-01-06

886 commits to llvm-12 branch, last one 2 years ago

dg mchalupa

135

490

mit

20

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

Created 2015-02-19

3,181 commits to master branch, last one 2 years ago

decomp decomp

30

469

unlicense

36

Components of a decompilation pipeline.

go llvm golang llvm-ir decompiler decompilation binary-analysis reverse-engineering decompilation-pipeline compositional-decompilation

Created 2014-09-18

216 commits to master branch, last one about a year ago

rellume aengelke

42

399

lgpl-2.1

18

Lift machine code to performant LLVM IR

llvm x86-86 llvm-ir

Created 2019-05-06

782 commits to master branch, last one 6 months ago

SOLL second-state

24

379

unknown

15

SOLL is a new compiler for generate Ewasm from solidity and yul. See a demo here: https://asciinema.org/a/ezJqNLicn5fya02zwu4VXIo8a

llvm soll ewasm llvm-ir compiler solidity blockchain smart-contract

Created 2019-08-22

726 commits to master branch, last one 3 years ago

SheLLVM SheLLVM

45

372

ncsa

14

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

llvm llvm-ir shellcode llvm-bitcode platform-independent

Created 2018-01-19

86 commits to master branch, last one about a year ago

symbiotic staticafi

55

315

mit

13

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

klee llvm slice llvm-ir slicing verification instrumentation program-slicing symbolic-execution program-verification software-verification verification-toolchain

Created 2014-12-30

2,052 commits to main branch, last one about a month ago

ProGraML ChrisCummins

63

305

other

9

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

llvm llvm-ir data-flow compiler-irs control-flow machine-learning graph-representation graph-neural-networks programming-languages

Created 2019-11-25

1,851 commits to development branch, last one 7 months ago

cpg Fraunhofer-AISEC

64

296

apache-2.0

13

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

c cpg cpp code java ruby graph golang python llvm-ir analysis code-property-graph

Created 2019-12-02

1,919 commits to main branch, last one 3 days ago

obfuscator-llvm eshard

45

262

other

10

This repository has no description...

llvm rust llvm-ir code-obfuscation

Created 2022-05-09

71 commits to main branch, last one 5 months ago

llvm-kaleidoscope ghaiklor

49

240

unknown

7

LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)

llvm lexer llvm-ir language kaleidoscope llvm-tutorial lexical-analysis

Created 2017-02-21

20 commits to master branch, last one about a year ago

SYsU-lang arcsysu

38

209

other

2

A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.

lex flex llvm sysy yacc antlr bison clang lexer antlr4 parser llvm-ir compiler

This repository has been archived (exclude archived)

Created 2022-02-16

249 commits to latest branch, last one 24 days ago

ncc spcl

51

208

bsd-3-clause

13

Neural Code Comprehension: A Learnable Representation of Code Semantics

llvm-ir embeddings code-analysis embedding-based neural-networks embedding-models machine-learning

Created 2018-06-21

53 commits to master branch, last one 4 months ago

Dna Colton1skees

19

195

gpl-3.0

5

LLVM based static binary analysis framework

x86 llvm binary lifter triton x86-64 llvm-ir analysis deobfuscation static-analysis program-analysis instruction-semantics

Created 2022-03-12

146 commits to master branch, last one 2 months ago

bl travisdoor

7

184

mit

6

Simple programming language created for fun.

llvm biscuit llvm-ir compiler handmade language programming

Created 2018-08-10

4,312 commits to master branch, last one 8 days ago

LLVM-Guide mikeroyal

10

154

unknown

6

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 imple...