Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  google  apple  web  show  youtube.com  release  video  go  javascript  trump  nature.com  theregister.com  security  china  arstechnica.com  techcrunch.com 

Efficient Integer Overflow Checking in LLVM

4 years ago blog.regehr.org llvm

Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM

4 years ago blog.regehr.org llvm

Use of Assertions (2014)

4 years ago blog.regehr.org

The Saturation Effect in Fuzzing

4 years ago blog.regehr.org

Verifying Popcount

4 years ago blog.regehr.org

You might as well be a great copy editor

4 years ago blog.regehr.org

How to Fuzz an ADT Implementation

4 years ago blog.regehr.org

Precision Opportunities for Demanded Bits in LLVM

4 years ago blog.regehr.org llvm

Testing Dataflow Analyses for Precision and Soundness

4 years ago blog.regehr.org

Levels of Fuzzing

4 years ago blog.regehr.org

Helping Generative Fuzzers Avoid Looking Only Where the Light is Good, Part 1

5 years ago blog.regehr.org

Margin in Software Systems (2010)

5 years ago blog.regehr.org

Write Fuzzable Code

5 years ago blog.regehr.org

Race Condition vs. Data Race (2011)

5 years ago blog.regehr.org

Design and Evolution of C-Reduce (Part 1)

5 years ago blog.regehr.org

It’s Time for a Modern Synthesis Kernel

5 years ago blog.regehr.org kernel

How to Debug (2010)

5 years ago blog.regehr.org debugging

Explaining Code using ASCII Art

5 years ago blog.regehr.org art

Ways to break your systems code using volatile

5 years ago blog.regehr.org

Verifying Popcount

5 years ago blog.regehr.org

Explaining Code Using ASCII Art

5 years ago blog.regehr.org art

Operant Conditioning by Software Bugs

5 years ago blog.regehr.org

Synthesizing Constants

6 years ago blog.regehr.org

A Guide to Undefined Behavior in C and C++, Part 3

6 years ago blog.regehr.org c c++

A Guide to Undefined Behavior in C/C++

6 years ago blog.regehr.org c c++

Teaching C

6 years ago blog.regehr.org c

How LLVM Optimizes a Function

6 years ago blog.regehr.org llvm

What’s the difference between an integer and a pointer?

6 years ago blog.regehr.org

SQLite with a Fine-Toothed Comb (2016)

6 years ago blog.regehr.org

A Guide to Undefined Behavior in C and C++, Part 1 – Embedded in Academia

6 years ago blog.regehr.org c c++ embedded

More →