| | Classic bug reports (regehr.org) |
| 44 points by _wrlv on Oct 1, 2015 | past | 10 comments |
|
| | API Fuzzing vs. File Fuzzing: A Cautionary Tale (regehr.org) |
| 2 points by pascal_cuoq on Sept 28, 2015 | past |
|
| | Compilers and Termination Revisited (2010) (regehr.org) |
| 9 points by tmobile on Sept 27, 2015 | past | 1 comment |
|
| | Compilers and Termination Revisited (2010) (regehr.org) |
| 3 points by tmobile on Sept 25, 2015 | past |
|
| | Comments on a Formal Verification of PolarSSL (regehr.org) |
| 49 points by jeffreyrogers on Sept 21, 2015 | past | 11 comments |
|
| | A Few Synthesizing Superoptimizer Results (regehr.org) |
| 36 points by jcr on July 26, 2015 | past | 13 comments |
|
| | Nibble Sort Denouement (regehr.org) |
| 2 points by davidtgoldblatt on July 20, 2015 | past |
|
| | A Guide to Undefined Behavior in C and C++ (2010) (regehr.org) |
| 41 points by peeyek on July 14, 2015 | past | 10 comments |
|
| | Assertions Are Pessimistic, Assumptions Are Optimistic (2014) (regehr.org) |
| 12 points by rdc12 on July 4, 2015 | past | 4 comments |
|
| | Operant Conditioning by Software Bugs (2012) (regehr.org) |
| 48 points by panic on July 3, 2015 | past | 20 comments |
|
| | Defending Against Compiler-Based Backdoors (regehr.org) |
| 35 points by caf on June 22, 2015 | past | 8 comments |
|
| | The Space Child’s Mother Goose (regehr.org) |
| 2 points by gwern on June 19, 2015 | past |
|
| | Generating a Random Program vs. Generating All Programs (regehr.org) |
| 20 points by luu on May 28, 2015 | past |
|
| | What afl-fuzz Is Bad At (regehr.org) |
| 7 points by wglb on May 9, 2015 | past | 2 comments |
|
| | What afl-fuzz is bad at (regehr.org) |
| 54 points by doty on May 4, 2015 | past | 10 comments |
|
| | UB Canaries (Undefined Behaviour) (regehr.org) |
| 4 points by rdc12 on May 1, 2015 | past |
|
| | A Guide to Undefined Behaviour in C and Cpp (2010) (regehr.org) |
| 5 points by ignoramous on May 1, 2015 | past |
|
| | Undefined Behaviour Canaries (regehr.org) |
| 41 points by cremno on April 22, 2015 | past | 50 comments |
|
| | Instruction Synthesis Is Fun and Weird (regehr.org) |
| 78 points by luu on Feb 9, 2015 | past | 9 comments |
|
| | Static Analysis Benchmarks (regehr.org) |
| 11 points by luu on Feb 6, 2015 | past | 2 comments |
|
| | Buying into Open Source Security (regehr.org) |
| 1 point by cottonseed on Feb 1, 2015 | past |
|
| | Nibble Sort Programming Contest (regehr.org) |
| 2 points by signa11 on Jan 28, 2015 | past |
|
| | Nibble Sort Programming Contest (regehr.org) |
| 2 points by luu on Jan 25, 2015 | past |
|
| | Buying into Open Source Security (regehr.org) |
| 4 points by jeffreyrogers on Jan 21, 2015 | past |
|
| | Can Simplicity Scale? (2012) (regehr.org) |
| 66 points by minthd on Jan 9, 2015 | past | 15 comments |
|
| | “Souper” superoptimizer compiling LLVM (regehr.org) |
| 5 points by caf on Dec 28, 2014 | past |
|
| | Inversions in Computing (regehr.org) |
| 2 points by luu on Dec 15, 2014 | past |
|
| | Do Small-RAM Devices Have a Future? (2011) (regehr.org) |
| 82 points by luu on Dec 6, 2014 | past | 49 comments |
|
| | The Souper super optimizer results (regehr.org) |
| 9 points by jekub on Nov 24, 2014 | past |
|
| | Partial Evaluation and Immutable Servers (regehr.org) |
| 59 points by mzl on Nov 19, 2014 | past | 16 comments |
|
|
| More |
