| | Assertions Are Pessimistic, Assumptions Are Optimistic (regehr.org) |
| 1 point by pdq on Feb 6, 2014 | past |
|
| | Embedded in Academia: Use of Assertions (regehr.org) |
| 4 points by lifthrasiir on Feb 3, 2014 | past | 1 comment |
|
| | Nine ways to break your systems code using volatile (regehr.org) |
| 2 points by dsego on Dec 4, 2013 | past |
|
| | Safe, Efficient, and Portable Rotate in C/C++ (regehr.org) |
| 6 points by anon1385 on Nov 16, 2013 | past |
|
| | Integer Undefined Behaviors in Open Source Crypto Libraries (regehr.org) |
| 2 points by anon1385 on Nov 14, 2013 | past | 1 comment |
|
| | Integer Undefined Behaviors in Open Source Crypto Libraries (regehr.org) |
| 5 points by jfb on Nov 13, 2013 | past |
|
| | Producing Good Software From Academia (regehr.org) |
| 1 point by mjn on Nov 11, 2013 | past |
|
| | Trust, But Verify (regehr.org) |
| 2 points by edwintorok on Nov 4, 2013 | past |
|
| | Levels of Fuzzing (regehr.org) |
| 1 point by austengary on Sept 24, 2013 | past |
|
| | Guidelines for Research on Finding Bugs (regehr.org) |
| 2 points by jnazario on Sept 21, 2013 | past |
|
| | Are Compilers Getting More or Less Reliable? (regehr.org) |
| 27 points by anon1385 on Sept 16, 2013 | past | 3 comments |
|
| | A sufficiently advanced compiler is indistinguishable from an adversary. (regehr.org) |
| 6 points by apw on Sept 7, 2013 | past |
|
| | A Guide to Undefined Behavior in C and C++, Part 1 (regehr.org) |
| 2 points by brudgers on Aug 20, 2013 | past |
|
| | C-Reduce 2.1 Released (regehr.org) |
| 2 points by shin_lao on July 16, 2013 | past |
|
| | Finding Undefined Behavior Bugs by Finding Dead Code (regehr.org) |
| 6 points by caf on July 11, 2013 | past |
|
| | Integer Undefined Behavior Detection using Clang 3.3 (regehr.org) |
| 3 points by caf on June 20, 2013 | past |
|
| | Type Punning, Strict Aliasing, and Optimization (regehr.org) |
| 2 points by wglb on June 17, 2013 | past |
|
| | Type Punning, Strict Aliasing, and Optimization (regehr.org) |
| 6 points by jacobparker on June 13, 2013 | past |
|
| | Funniest Computer Book? (regehr.org) |
| 1 point by edwintorok on June 2, 2013 | past |
|
| | Crashy Compiler Flags (regehr.org) |
| 7 points by janerik on May 31, 2013 | past |
|
| | The declining value of the MS in Computer Science (regehr.org) |
| 161 points by moyix on May 29, 2013 | past | 124 comments |
|
| | Computer Science Culture Clash (regehr.org) |
| 4 points by adunk on May 21, 2013 | past |
|
| | Nobody Expects the Spanish Inquisition, or INT_MIN to be Divided by -1 (regehr.org) |
| 1 point by lawl on May 14, 2013 | past |
|
| | Memory Safe C/C++: Time to Flip the Switch (regehr.org) |
| 13 points by edwintorok on April 23, 2013 | past | 12 comments |
|
| | Reading Code (regehr.org) |
| 4 points by malloc47 on April 22, 2013 | past |
|
| | Fuzzers Need Taming (regehr.org) |
| 6 points by jnazario on April 10, 2013 | past |
|
| | Stochastic Superoptimization (regehr.org) |
| 108 points by qubitsam on April 7, 2013 | past | 43 comments |
|
| | Exhaustive Testing is Not a Proof of Correctness (regehr.org) |
| 2 points by qubitsam on March 25, 2013 | past |
|
| | A Quick C Coding Contest: Convert String to Integer Without Overflow (regehr.org) |
| 4 points by shocks on March 7, 2013 | past |
|
| | Four Books on Debugging (regehr.org) |
| 3 points by gnosis on March 2, 2013 | past |
|
|
| More |
