John Regehr (@regehr)
github

regehr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    582
  • Global Rank 50,666 (Top 2 %)
  • Followers 796
  • Following 16
  • Registered over 13 years ago
  • Most used languages
    C
         48.4 %
    C++
         38.7 %
    Python
         6.5 %
    LLVM     3.2 %
    Assembly
         3.2 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 13,731
  • Country Ranking
    LLVM     70
    C
         772
    Assembly
         1,158
    C++
         2,108

Top repositories

1

ub-canaries

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

itc-benchmarks

static analysis benchmarks from Toyota ITC
C
113
star
3

compiler-crashes

60 artisanal compiler crashes
C++
39
star
4

opt-fuzz

llvm opt fuzzer and bounded exhaustive test generator
C++
38
star
5

nibble-sort

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

pldi22-llvm-tutorial

outline and links for PLDI 2022 tutorial
17
star
7

rb_tree_demo

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

llvm-dataflow-info

print information from LLVM dataflow analyses
C++
13
star
9

sudo-1.8.13

sudo for compiler bug demo
C
12
star
10

guided-tree-search

heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
C++
12
star
11

solid_code_class

shared files for U of Utah CS 5959: Writing Solid Code
C
11
star
12

str2long_contest

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

const_time

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

llvm-pass-template

minimal out-of-tree LLVM pass
C++
8
star
15

fs-fuzz

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

random-testing-book

C
6
star
17

rc4-poc

proof of concept for local OpenSSL RC4 buffer overrun bug
C
5
star
18

cost-model

looking into devising good cost models for optimizing LLVM IR
C++
5
star
19

optimizer-eval

compiler optimizer evaluation
C
4
star
20

python_rb_tree_demo

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

isolating-a-miscompilation

code accompanying a blog post about a compiler bug
C
4
star
22

sudoku

brute-force sudoku solver in C
C
3
star
23

llvm-dataflow-research

experimenting with better interval transfer functions for LLVM
C++
3
star
24

advanced_os_class

shared repo for U of Utah CS 5962 spring 2014
Assembly
3
star
25

assert_quiz

A quick quiz about how assertions should be used.
2
star
26

parse-arm

C++
2
star
27

llvm-test-lvi

LLVM pass for testing the soundness of the LazyValueInfo analysis pass
C++
2
star
28

calc-compiler

tiny language compiler for class
LLVM
2
star
29

llvm-mc-info

just playing with llvm-mca
C++
1
star
30

llvm-stress

fork of llvm-stress
C++
1
star
31

cs6015-webscrapers

web scraper assignment for Utah CS 6015 Spring 2018
Python
1
star
32

knownbits-compare

C++
1
star
33

cs6960-fall17

repo for advanced OS, fall 2017, U of Utah
C
1
star