regehr

sudoku

brute-force sudoku solver in C

rb_tree_demo

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

cost-model

looking into devising good cost models for optimizing LLVM IR

csmith

Csmith, a random generator of C programs

compressed-pbm-tests

triangle

triangle classifier for CS 6015 spring 2018

assert_quiz

A quick quiz about how assertions should be used.

cs6960-fall17

repo for advanced OS, fall 2017, U of Utah

brainfuck

Brainfuck interpreter companion to the brain programming language

xv6-public

xv6 OS

bulk-compiler-tests

Use Nix to build a lot of software using a custom compiler.

CompCert

The CompCert C verified compiler

calc-compiler

tiny language compiler for class

logisim

Git fork of Logisim code base

isolating-a-miscompilation

code accompanying a blog post about a compiler bug

compiler-crashes

60 artisanal compiler crashes

llvm-test-lvi

LLVM pass for testing the soundness of the LazyValueInfo analysis pass

wrapped-intervals

Automatically exported from code.google.com/p/wrapped-intervals

rc4-poc

proof of concept for local OpenSSL RC4 buffer overrun bug

fs-fuzz

two simple fuzzers, one for UNIX filesystem operations, the other for C streams

const_time

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

s2n

s2n : an implementation of the TLS/SSL protocols

delta

Mirror of http://delta.tigris.org

llvm-stress

fork of llvm-stress

sudo-1.8.13

sudo for compiler bug demo

assembler

Assembler for CS 1400, U of Utah

nibble-sort

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

optimizer-eval

compiler optimizer evaluation

solid_code_class

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

advanced_os_class

shared repo for U of Utah CS 5962 spring 2014