regehr Goto Github PK

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.

llvm-stress

fork of llvm-stress

llvm-test-lvi

LLVM pass for testing the soundness of the LazyValueInfo analysis pass

logisim

Git fork of Logisim code base

logisim-evolution

Digital logic designer and simulator

make

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

minotaur

nibble-sort

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

opt-fuzz

llvm opt fuzzer and bounded exhaustive test generator

optimizer-eval

compiler optimizer evaluation

parse-arm

pcminer

PC-miner tool for program chairs

pldi22-llvm-tutorial

outline and links for PLDI 2022 tutorial

python_rb_tree_demo

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

random-testing-book

rb_tree_demo

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

rc4-poc

proof of concept for local OpenSSL RC4 buffer overrun bug

reduced-c

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

s2n

s2n : an implementation of the TLS/SSL protocols

solid_code_class

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

souper

str2long_contest

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

sudo-1.8.13

sudo for compiler bug demo

sudoku

brute-force sudoku solver in C

triangle

triangle classifier for CS 6015 spring 2018

ub-canaries

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

wrapped-intervals

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

xroach

Classic xroach game for X11

xv6-public

xv6 OS

xv6-riscv

Xv6 for RISC-V