regehr/pldi22-llvm-tutorial regehr/pldi22-llvm-tutorial

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
  • License
    Creative Commons ...
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
regehr/pldi22-llvm-tutorial
github

regehr

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

outline and links for PLDI 2022 tutorial

More 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

rb_tree_demo

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

llvm-dataflow-info

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

sudo-1.8.13

sudo for compiler bug demo
C
12
star
9

guided-tree-search

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

solid_code_class

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

str2long_contest

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

const_time

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

llvm-pass-template

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

fs-fuzz

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

random-testing-book

C
6
star
16

rc4-poc

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

cost-model

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

optimizer-eval

compiler optimizer evaluation
C
4
star
19

python_rb_tree_demo

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

isolating-a-miscompilation

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

sudoku

brute-force sudoku solver in C
C
3
star
22

llvm-dataflow-research

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

advanced_os_class

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

assert_quiz

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

parse-arm

C++
2
star
26

llvm-test-lvi

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

calc-compiler

tiny language compiler for class
LLVM
2
star
28

llvm-mc-info

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

llvm-stress

fork of llvm-stress
C++
1
star
30

cs6015-webscrapers

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

knownbits-compare

C++
1
star
32

cs6960-fall17

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