Search Results - RepositoryStats

llvm-tutor banach-space

387

2.9k

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

281 commits to main branch, last one 2 months ago

mcsema lifting-bits

343

2.6k

agpl-3.0

114

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

144

1.3k

cc-by-4.0

31

LLVM IR入门指南

llvm llvm-ir

Created 2020-07-18

55 commits to master branch, last one 8 months ago

remill lifting-bits

145

1.3k

apache-2.0

64

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 2 months ago

llvm llir

78

1.2k

0bsd

31

Library for interacting with LLVM IR in pure Go.

go llvm golang llvm-ir

Created 2014-09-19

1,718 commits to master branch, last one 4 months ago

VMProtect-devirtualization JonathanSalwan

188

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

95

763

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,374 commits to master branch, last one 3 days ago

cargo-show-asm pacak

33

679

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

682 commits to master branch, last one 4 days ago

llparse nodejs

32

586

other

21

Generating parsers in LLVM IR

llvm-ir finite-state-machine

Created 2018-02-11

260 commits to main branch, last one about a month ago

llvm-hs llvm-hs

118

501

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 about a year ago

dg mchalupa

135

481

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 about a year ago

decomp decomp

30

461

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

39

378

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 3 months ago

SOLL second-state

23

376

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 2 years ago

SheLLVM SheLLVM

46

367

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

56

310

mit

12

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,050 commits to main branch, last one about a year ago

ProGraML ChrisCummins

62

296

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 4 months ago

cpg Fraunhofer-AISEC

62

277

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,819 commits to main branch, last one a day ago

llvm-kaleidoscope ghaiklor

49

235

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

obfuscator-llvm eshard

42

226

other

9

This repository has no description...

llvm rust llvm-ir code-obfuscation

Created 2022-05-09

71 commits to main branch, last one 2 months ago

SYsU-lang arcsysu

35

206

other

2

A mini, simple and modular compiler lab 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

Created 2022-02-16

239 commits to latest branch, last one 6 months ago

ncc spcl

51

206

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 about a month ago

bl travisdoor

6

178

mit

6

Simple imperative programming language created for fun.

llvm biscuit llvm-ir compiler handmade language programming

Created 2018-08-10

4,289 commits to master branch, last one 22 hours ago

SsagePass SsageParuders

38

146

unknown

5

LLVM PASS by SsageParuders.Port to llvm_14.06 with New PM.Support for Android-ndk-r25(LTS).

ndk llvm clang ollvm llvm-ir ndk-r25 llvm-pass llvm-clang obfuscator obfuscation llvm-project

Created 2022-07-13

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

LLVM-Guide mikeroyal

9

141

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