John 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

compiler-crashes. 60 artisanal compiler crashes

nibble-sort. Many functions in C for sorting the nibbles in an 8-byte word

rb_tree_demo. code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896

pldi22-llvm-tutorial. outline and links for PLDI 2022 tutorial

guided-tree-search. heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape

sudo-1.8.13. sudo for compiler bug demo

llvm-dataflow-info. print information from LLVM dataflow analyses

solid_code_class. shared files for U of Utah CS 5959: Writing Solid Code

str2long_contest. code corresponding to a coding contest posted here: http://blog.regehr.org/archives/909

fs-fuzz. two simple fuzzers, one for UNIX filesystem operations, the other for C streams

alive2. C++

const_time. empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs

llvm-pass-template. minimal out-of-tree LLVM pass

random-testing-book. C

cost-model. looking into devising good cost models for optimizing LLVM IR

rc4-poc. proof of concept for local OpenSSL RC4 buffer overrun bug

optimizer-eval. compiler optimizer evaluation

isolating-a-miscompilation. code accompanying a blog post about a compiler bug

python_rb_tree_demo. demonstration of fuzzing a red-black tree in Python for a blog entry

sudoku. brute-force sudoku solver in C

souper. C++

advanced_os_class. shared repo for U of Utah CS 5962 spring 2014

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

llvm-dataflow-research. experimenting with better interval transfer functions for LLVM

creduce. C-Reduce, a C program reducer

CompCert. The CompCert C verified compiler

llvm-test-lvi. LLVM pass for testing the soundness of the LazyValueInfo analysis pass

calc-compiler. tiny language compiler for class

parse-arm. C++

assert_quiz. A quick quiz about how assertions should be used.

minotaur. LLVM

font_renderer. C++

brainfuck. Brainfuck interpreter companion to the brain programming language

klee. KLEE Symbolic Virtual Machine

csmith. Csmith, a random generator of C programs

s2n. s2n : an implementation of the TLS/SSL protocols