| | C No Evil (2011) (regehr.org) |
| 2 points by azhenley on July 20, 2020 | past |
|
| | Explaining Code using ASCII Art (2019) (regehr.org) |
| 3 points by galacticdessert on June 26, 2020 | past |
|
| | You Might as Well Be a Great Copy Editor (regehr.org) |
| 8 points by weinzierl on June 25, 2020 | past | 1 comment |
|
| | You might as well be a great copy editor (regehr.org) |
| 144 points by dannas on June 24, 2020 | past | 54 comments |
|
| | The Saturation Effect in Fuzzing (regehr.org) |
| 73 points by weinzierl on June 17, 2020 | past | 21 comments |
|
| | The Basic Toolbox (regehr.org) |
| 2 points by lowmemcpu on June 15, 2020 | past |
|
| | Operant Conditioning by Software Bugs (regehr.org) |
| 1 point by goranmoomin on June 7, 2020 | past |
|
| | Tracking miscompilations in LLVM using its own unit tests (regehr.org) |
| 2 points by weinzierl on June 4, 2020 | past |
|
| | Alive2 Part 2: Tracking miscompilations in LLVM using its own unit tests (regehr.org) |
| 5 points by matt_d on June 3, 2020 | past |
|
| | The Little C Function from Hell (regehr.org) |
| 3 points by luu on May 13, 2020 | past |
|
| | Operant Conditioning by Software Bugs (regehr.org) |
| 1 point by luu on May 4, 2020 | past |
|
| | How to Fuzz an ADT Implementation (2013) (regehr.org) |
| 64 points by luu on April 17, 2020 | past | 6 comments |
|
| | Proposal for a Friendly Dialect of C (regehr.org) |
| 1 point by ori_b on April 14, 2020 | past |
|
| | Alive 2 Part 1: Introduction (regehr.org) |
| 1 point by weinzierl on March 13, 2020 | past |
|
| | Alive 2 Part 1: Introduction (regehr.org) |
| 1 point by matt_d on March 12, 2020 | past |
|
| | How Did Software Get So Reliable Without Proof? (regehr.org) |
| 3 points by thamer on March 5, 2020 | past | 2 comments |
|
| | Precision Opportunities for Demanded Bits in LLVM (regehr.org) |
| 54 points by luu on Jan 24, 2020 | past | 7 comments |
|
| | Precision Opportunities for Demanded Bits in LLVM (regehr.org) |
| 1 point by matt_d on Jan 22, 2020 | past |
|
| | Testing Dataflow Analyses for Precision and Soundness (regehr.org) |
| 38 points by matt_d on Jan 20, 2020 | past | 2 comments |
|
| | Testing Dataflow Analyses for Precision and Soundness (regehr.org) |
| 2 points by luu on Jan 18, 2020 | past |
|
| | Testing Dataflow Analyses for Precision and Soundness (regehr.org) |
| 1 point by matt_d on Jan 10, 2020 | past |
|
| | Helping Generative Fuzzers Avoid Looking Only Where the Light Is Good, Part 1 (regehr.org) |
| 2 points by adunk on Nov 11, 2019 | past |
|
| | Helping Generative Fuzzers Avoid Looking Only Where the Light Is Good, Part 1 (regehr.org) |
| 2 points by matt_d on Nov 4, 2019 | past |
|
| | Reducers Are Fuzzers (regehr.org) |
| 11 points by harperlee on Oct 15, 2019 | past |
|
| | Write Fuzzable Code (regehr.org) |
| 140 points by matt_d on Aug 29, 2019 | past | 29 comments |
|
| | Write Fuzzable Code (regehr.org) |
| 2 points by luu on Aug 27, 2019 | past |
|
| | Design and Evolution of C-Reduce (Part 2) (regehr.org) |
| 1 point by weinzierl on Aug 20, 2019 | past |
|
| | Write Fuzzable Code (regehr.org) |
| 2 points by weinzierl on Aug 20, 2019 | past |
|
| | Write Fuzzable Code (regehr.org) |
| 2 points by matt_d on Aug 19, 2019 | past |
|
| | Design and Evolution of C-Reduce (Part 2) (regehr.org) |
| 2 points by matt_d on Aug 12, 2019 | past |
|
|
| More |
