#
llvm-ir
Here are 215 public repositories matching this topic...
A collection of out-of-tree LLVM passes for teaching and learning
-
Updated
Apr 1, 2022 - C++
pgoodman
commented
Jun 27, 2018
-
(AMD64 bc5ad 3 (BYTES 0f 57 ff) XORPS_XMMxud_XMMxud (WRITE_OP (REG_256 YMM7)) (READ_OP (REG_256 YMM7)) (READ_OP (REG_128 XMM7))) -
(AMD64 bf2ac 4 (BYTES 66 0f 57 c9) XORPD_XMMxuq_XMMxuq (WRITE_OP (REG_256 YMM1)) (READ_OP (REG_256 YMM1)) (READ_OP (REG_128 XMM1))) - `(AMD64 f6c89 4 (BYTES 41 0f 54 d2) ANDPS_XMMxud_XMMxud (WRITE_OP (REG_256 YMM2)) (READ_OP (REG_256 YMM2)) (READ
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
-
Updated
Mar 25, 2022 - Roff
1
sternenseemann
commented
May 6, 2021
Seems like this is the culprit and you need a x86_64-linux (cross)-toolchain for the tests.
setupCompilerEnvironmentPhase
Build with /nix/store/n5z7zr3jl1k96wcrrjqlc5bxdhjc1i69-ghc-8.10.4.
unpacking sources
unpacking source archive /nix/store/2xmdp36vnlr5kpxw3wi4lp
Components of a decompilation pipeline.
go
golang
llvm
decompiler
reverse-engineering
binary-analysis
decompilation
llvm-ir
decompilation-pipeline
compositional-decompilation
-
Updated
Nov 27, 2021 - Go
SOLL is a new compiler for generate Ewasm from solidity and yul. See a demo here: https://asciinema.org/a/ezJqNLicn5fya02zwu4VXIo8a
-
Updated
Dec 23, 2021 - C++
Automatic verification of LLVM optimizations
cmake
llvm
verification
symbolic-execution
model-checking
smt
llvm-ir
translation-validation
automatic-verification
invocations
alive2-ir
ir-level-transformations
-
Updated
Apr 3, 2022 - C++
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
analysis
static-code-analysis
llvm
static-analysis
dependency-graph
slice
static-analyzer
program-analysis
llvm-bitcode
llvm-slicer
dependence-graph
reaching-definitions
pointer-analysis
slicing
llvm-ir
points-to-analysis
data-dependency
control-dependency
backward-slicing
backward-slice
-
Updated
Mar 9, 2022 - C++
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
llvm
verification
symbolic-execution
instrumentation
slice
program-verification
software-verification
klee
slicing
llvm-ir
verification-toolchain
program-slicing
-
Updated
Mar 30, 2022 - Python
A collection of LLVM transform and analysis passes to write shellcode in regular C
-
Updated
Dec 25, 2020 - C++
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
machine-learning
llvm
data-flow
control-flow
programming-languages
llvm-ir
graph-representation
graph-neural-networks
compiler-irs
-
Updated
Mar 10, 2022 - C++
Neural Code Comprehension: A Learnable Representation of Code Semantics
-
Updated
Feb 11, 2022 - Python
LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
language
stream
llvm
character
lexer
lexical-analysis
kaleidoscope
llvm-tutorial
llvm-ir
ast-nodes
ast-node
tokens-identifiers
-
Updated
Mar 21, 2018 - C++
cclauss
commented
Nov 2, 2019
The last time I really hacked C code was before the turn of the century but I purchased SeeLess because I am so supportive of your work! So if I have Pyto and SeeLess on my iPad, can I lint my C code using cpplint.py running on Pyto? https://github.com/cpplint/cpplint
enhancement
New feature or request
good first issue
Good for newcomers
question
Further information is requested
LLVM Profiling Visualization
-
Updated
Jan 11, 2022 - C++
LLVM Bindings for .NET
code-generator
dotnet
llvm
compilers
code-generation
llvm-bindings
llvm-bitcode
domain-specific-language
jit-compiler
llvm-ir
dynamic-runtime
-
Updated
Nov 28, 2021 - C#
Pretty printer for LLVM AST to Textual IR
-
Updated
Jan 4, 2022 - LLVM
Type Safe LLVM IR ( Experimental )
-
Updated
Jun 13, 2018 - Haskell
Formal semantics of LLVM IR in K
-
Updated
Jun 25, 2015 - LLVM
Improve this page
Add a description, image, and links to the llvm-ir topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the llvm-ir topic, visit your repo's landing page and select "manage topics."
While the test_suite presented in #589 does work, it is still pretty simple and can be improved and enhanced.
make validateand the subset of test that is deemed necessary (for example everything withmint