All Projects → maekawatoshiki → vicis

maekawatoshiki / vicis

Licence: MIT license
Manipulate LLVM-IR in Pure Rust

Programming Languages

rust
11053 projects
LLVM
166 projects

Projects that are alternatives of or similar to vicis

Alive
Alive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (+5.15%)
Mutual labels:  llvm
Kazan
Mirror; Work-in-progress software-rendering Vulkan implementation
Stars: ✭ 226 (+16.49%)
Mutual labels:  llvm
Dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+24.74%)
Mutual labels:  llvm
Pure Lang
Pure programming language
Stars: ✭ 209 (+7.73%)
Mutual labels:  llvm
Omniscidb
OmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+1240.72%)
Mutual labels:  llvm
Llvm Ir Tutorial
LLVM IR入门指南
Stars: ✭ 232 (+19.59%)
Mutual labels:  llvm
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (+2.58%)
Mutual labels:  llvm
codebrowser
Woboq CodeBrowser
Stars: ✭ 985 (+407.73%)
Mutual labels:  llvm
Spirv Llvm Translator
A tool and a library for bi-directional translation between SPIR-V and LLVM IR
Stars: ✭ 223 (+14.95%)
Mutual labels:  llvm
Checkedc
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, a…
Stars: ✭ 2,692 (+1287.63%)
Mutual labels:  llvm
Symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+9.28%)
Mutual labels:  llvm
Llvm
[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (+14.43%)
Mutual labels:  llvm
Rellic
Rellic produces goto-free C output from LLVM bitcode
Stars: ✭ 234 (+20.62%)
Mutual labels:  llvm
Cmake Scripts
A selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (+4.12%)
Mutual labels:  llvm
Chigraph
A visual systems language for beginners compiled using LLVM
Stars: ✭ 247 (+27.32%)
Mutual labels:  llvm
Mir
Mir (backports): Sparse tensors, Hoffman
Stars: ✭ 204 (+5.15%)
Mutual labels:  llvm
Ts Llvm
TypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (+18.56%)
Mutual labels:  llvm
sbt-instrumentation
Configurable instrumentation of LLVM bitcode
Stars: ✭ 31 (-84.02%)
Mutual labels:  llvm
Dr checker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Stars: ✭ 251 (+29.38%)
Mutual labels:  llvm
Weld
High-performance runtime for data analytics applications
Stars: ✭ 2,709 (+1296.39%)
Mutual labels:  llvm

Vicis

CI codecov discussions

Manipulate LLVM IR in pure Rust (without LLVM).

Feel free to create issues and pull requests!

Requirements

  • Vicis itself is not depending on llvm
    • However, I sometimes use llvm 13 for testing. (e.g. parsing the llvm-ir clang-13 emitted by vicis)

Examples

  • Parse and dump *.ll file
cargo run --example parse FILE.ll
  • Interpret *.ll file
cargo run --example interpreter FILE.ll # --release
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].