regehr/str2long_contest

Stars
10
Rank 1,807,489 (Top 36 %)
Language
C
Created over 11 years ago
Updated over 11 years ago

regehr/str2long_contest

regehr

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

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

ub-canaries

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

itc-benchmarks

static analysis benchmarks from Toyota ITC

compiler-crashes

60 artisanal compiler crashes

opt-fuzz

llvm opt fuzzer and bounded exhaustive test generator

nibble-sort

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

pldi22-llvm-tutorial

outline and links for PLDI 2022 tutorial

rb_tree_demo

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

llvm-dataflow-info

print information from LLVM dataflow analyses

sudo-1.8.13

sudo for compiler bug demo

guided-tree-search

heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape

solid_code_class

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

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

fs-fuzz

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

random-testing-book

rc4-poc

proof of concept for local OpenSSL RC4 buffer overrun bug

cost-model

looking into devising good cost models for optimizing LLVM IR

optimizer-eval

compiler optimizer evaluation

python_rb_tree_demo

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

isolating-a-miscompilation

code accompanying a blog post about a compiler bug

sudoku

brute-force sudoku solver in C

llvm-dataflow-research

experimenting with better interval transfer functions for LLVM

advanced_os_class

shared repo for U of Utah CS 5962 spring 2014

assert_quiz

A quick quiz about how assertions should be used.

parse-arm

llvm-test-lvi

LLVM pass for testing the soundness of the LazyValueInfo analysis pass

calc-compiler

tiny language compiler for class

llvm-mc-info

just playing with llvm-mca

llvm-stress

fork of llvm-stress

cs6015-webscrapers

web scraper assignment for Utah CS 6015 Spring 2018

knownbits-compare

cs6960-fall17

repo for advanced OS, fall 2017, U of Utah