Top 166 LLVM open source projects

A stateful fuzzing engine.

Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.

source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"

By Forking this, let's say you forked a loli 🚓

🌴 Empowering everyone to build reliable and efficient smart contracts.

No description, website, or topics provided.

KLEE with floating point support (unmaintained)

No description, website, or topics provided.

Chapuni's branch based on http://llvm.org/git/llvm.git

c compiler based on flex(lex), bison(yacc) and LLVM, supports LLVM IR and obj code generation. 基于flex，bison以及LLVM，使用c++11实现的类C语法编译器, 支持生成中间代码及可执行文件.

Teaching material for introduction to compilers course at UFPE

A symbolic execution engine for LLVM IR

Based on scheme to LLVM compiler from https://web.archive.org/web/20111220233738/http://www.ida.liu.se/~tobnu/scheme2llvm/

树新风

Compiler-based tool that protects Intel SGX applications against controlled-channel attacks

Monorepo for the OpenCilk compiler, forked from llvm/llvm-project. See the OpenCilk/infrastructure repository for build and installation instructions.

No description, website, or topics provided.

LL parser generator

No description, website, or topics provided.

My Arch Linux config files.

No description, website, or topics provided.

yk packages

如果将markdown视作一门编程语言可以做哪些有趣的事情呢?

Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project

Scalable Validator for Binary Lifters

Version 2 of the Graphical Realism Framework for Industrial Control Simulation (GRFICS)

print information from LLVM dataflow analyses

No description, website, or topics provided.

LLVM-based Mutation Testing System. Proof of concept

No description, website, or topics provided.

Latex notes on papers, courses, ideas: Pure math and computer science.

This repo contains the tests and results that were done during the research of SATURN

Semi-implicit Cross-scale Hydroscience Integrated System Model (SCHISM)

Project evolved into Software Network: https://github.com/SoftwareNetwork/sw

anvill forges beautiful LLVM bitcode out of raw machine code

Intel's x86-64 Architecture Simulation in C++

No description, website, or topics provided.

Formally verified operator language and rewriting engine for high-performance computing

Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19

My notes about Genyatyk VM crackme

Software Manager. Build System, Build System Generator and Package Manager. C/C++ and other languages. Tools and libraries for Software Management.

Fast, Accurate and Convenient Light-Weight HLS Framework for Academic Design Space Exploration and Evaluation. (LLVM-11)

Design documents related to the decompilation pipeline.

Demonstration of a video processing design for the Digilent Zybo, using Web Camera for input and VGA interface for output.

A tool for converting text log files to the VCD format.

llvm opt fuzzer and bounded exhaustive test generator

Koala is a modern language.

Formal semantics of LLVM IR in K

Code Generation Framework For NEURON MODeling Language

Strict Haskell-like programming language that compiles to LLVM