DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
A visual systems language for beginners compiled using LLVM
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
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…
High-performance runtime for data analytics applications
Rellic produces goto-free C output from LLVM bitcode
TypeScript to LLVM compiler (abandoned)
Mirror; Work-in-progress software-rendering Vulkan implementation
[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Constraint solver based on coverage-guided fuzzing
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
A selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Alive: Automatic LLVM's Instcombine Verifier
Mir (backports): Sparse tensors, Hoffman
Automatic verification of LLVM optimizations
The cross-platform, open-source SDK to develop for original Xbox: *new* xdk
A tool for analyzing x86-64 binaries.
The LLVM LHC Haskell Optimization System
Tool for PDB generation from IDA Pro database
JLang: Ahead-of-time compilation of Java programs to LLVM
A curated list of awesome LLVM related docs, tools, and other resources.
🐉 A clang tool for happy refactoring without source-code gymnastics
Llvm Guide Zh
User Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)
A tool for converting C and Objective-C headers to D modules
Legacy repo, migrated to cheerp-compiler monorepo
Binary Translator to LLVM IR
A collection of LLVM transform and analysis passes to write shellcode in regular C
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
The cling C++ interpreter
Example project from my talks in the LLVM Social Berlin and C++ User Group
🔬 a C++ compiler middle-end, using an LLVM backend
Fork of the LLVM Compiler Infrastructure
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Clang Llvm Tutorial
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
Lean C/C++ Bounds Checking with Low-Fat Pointers
The C++ Standard Library for your entire system.
Whole Program LLVM: wllvm ported to go
Proton Clang toolchains builds in the form of a continuously updating Git repository. Clone with --depth=1.
Metareflect is a lightweight reflection system for C++, based on LLVM and Clangs libtooling.
LLVM/Clang for Visual Studio 2019, 2017, 2015, 2013, 2012 and 2010. clang-cl for Python3 distutils. Utils for Clang Static Analyzer
NOTE: The LLVM project now operates official Git mirrors as well: http://llvm.org/docs/GettingStarted.html#git-mirror -- An automated mirror of llvm/trunk from LLVM's SVN. Updates hourly. Release branches and tags are tracked manually. This mirror is *not* commit-ID compatible with the official Git mirrors.
C++ Library and Tool for Extracting Embedded Bitcode
This project aims to facilitate debugging a kernel driver in windows by adding support for a code change on the fly without reboot/unload, and more!
Compiler for the Volt Programming Language