regehr/cs6015-webscrapers regehr/cs6015-webscrapers

  • Stars
    star
    1
  • Language
    Python
  • Created over 6 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
regehr/cs6015-webscrapers
github

regehr

Reviews

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

Repository Details

web scraper assignment for Utah CS 6015 Spring 2018

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

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

knownbits-compare

C++
1
star
32

cs6960-fall17

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