regehr

ub-canaries

collection of C/C++ programs that try to get compilers to exploit undefined behavior

itc-benchmarks

static analysis benchmarks from Toyota ITC

opt-fuzz

llvm opt fuzzer and bounded exhaustive test generator

pldi22-llvm-tutorial

outline and links for PLDI 2022 tutorial

llvm-dataflow-info

print information from LLVM dataflow analyses

guided-tree-search

heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape

llvm-pass-template

minimal out-of-tree LLVM pass

souper

llvm-dataflow-research

experimenting with better interval transfer functions for LLVM

llvm-project

This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

yarpgen

Yet Another Random Program Generator

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

creduce

C-Reduce, a C program reducer

parse-arm

cs6015-webscrapers

web scraper assignment for Utah CS 6015 Spring 2018

klee

KLEE Symbolic Virtual Machine

knownbits-compare

llvm-mc-info

just playing with llvm-mca

minotaur

Advent

A modern ANSI C port of Crowther & Woods' "Adventure".

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

alive2

llvm-dataflow-precision

logisim-evolution

Digital logic designer and simulator

make

git://git.savannah.gnu.org/make

pcminer

PC-miner tool for program chairs

reduced-c

Mirror of https://gitlab.com/taricorp/reduced-c

xroach

Classic xroach game for X11

xv6-riscv

Xv6 for RISC-V

z3

The Z3 Theorem Prover