#
llvm-ir
Here are 184 public repositories matching this topic...
A collection of out-of-tree LLVM passes for teaching and learning
-
Updated
Jul 1, 2021 - 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
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
Jun 25, 2021 - Go
SOLL is a new compiler for generate Ewasm from solidity and yul. See a demo here: https://asciinema.org/a/ezJqNLicn5fya02zwu4VXIo8a
-
Updated
Jun 30, 2021 - 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
Jun 21, 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
Jun 15, 2021 - 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
May 19, 2021 - Python
A collection of LLVM transform and analysis passes to write shellcode in regular C
-
Updated
Dec 25, 2020 - C++
Neural Code Comprehension: A Learnable Representation of Code Semantics
-
Updated
Mar 28, 2021 - Python
Graph-based Program Representation & Models for Deep Learning
machine-learning
llvm
data-flow
control-flow
programming-languages
llvm-ir
graph-representation
graph-neural-networks
compiler-irs
-
Updated
Jun 25, 2021 - C++
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
LLVM Profiling Visualization
-
Updated
Aug 11, 2017 - 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
Jan 25, 2021 - C#
Pretty printer for LLVM AST to Textual IR
-
Updated
Jun 18, 2021 - LLVM
Type Safe LLVM IR ( Experimental )
-
Updated
Jun 13, 2018 - Haskell
Formal semantics of LLVM IR in K
-
Updated
Jun 25, 2015 - LLVM
Scalable Validator for Binary Lifters
-
Updated
Jun 28, 2020 - 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