Search Results - RepositoryStats

llvm-tutor banach-space

403

3.2k

mit

54

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

287 commits to main branch, last one 5 days ago

mcsema lifting-bits

343

2.7k

agpl-3.0

112

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

llvm-ir-tutorial Evian-Zhang

155

1.4k

cc-by-4.0

31

LLVM IR入门指南

llvm llvm-ir

Created 2020-07-18

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

remill lifting-bits

149

1.4k

apache-2.0

61

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

llvm llir

80

1.2k

0bsd

30

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

alive2 AliveToolkit

116

888

mit

24

Automatic verification of LLVM optimizations

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

Created 2018-06-09

2,518 commits to master branch, last one 3 days ago

cargo-show-asm pacak

39

797

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

816 commits to master branch, last one 8 days ago

llparse nodejs

35

603

other

20

Generating parsers in LLVM IR

llvm-ir finite-state-machine

Created 2018-02-11

265 commits to main branch, last one 2 days ago

llvm-hs llvm-hs

125

518

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

136

500

mit

19

[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

474

unlicense

34

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

rellume aengelke

45

423

lgpl-2.1

17

Lift machine code to performant LLVM IR

llvm x86-86 llvm-ir

Created 2019-05-06

782 commits to master branch, last one 10 months ago

SOLL second-state

24

379

unknown

14

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

13

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

57

323

mit

11

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,060 commits to main branch, last one 15 days ago

cpg Fraunhofer-AISEC

71

319

apache-2.0

11

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

2,158 commits to main branch, last one a day ago

ProGraML ChrisCummins

63

316

other

8

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

obfuscator-llvm eshard

48

299

other

10

This repository has no description...

llvm rust llvm-ir code-obfuscation

Created 2022-05-09

71 commits to main branch, last one 9 months ago

llvm-kaleidoscope ghaiklor

49

250

unknown

6

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

Dna Colton1skees

21

243

unknown

6

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

150 commits to master branch, last one 23 days ago

SYsU-lang arcsysu

39

214

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

Created 2022-02-16

249 commits to latest branch, last one 4 months ago

ncc spcl

51

211

bsd-3-clause

12

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

bl biscuitlang

8

196

mit

6

Simple programming language created for fun.

llvm biscuit llvm-ir compiler handmade language programming

Created 2018-08-10

4,566 commits to master branch, last one 23 hours ago

LLVM-Guide mikeroyal

10

165

unknown

5

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