| | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM (regehr.org) |
|
125 points by djoldman on June 1, 2022 | past | 4 comments
|
|
| | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM (regehr.org) |
|
3 points by ingve on May 31, 2022 | past
|
|
| | LLVM Optimizes a Function (2018) (regehr.org) |
|
2 points by Akronymus on May 16, 2022 | past
|
|
| | The Problem with Friendly C (2015) (regehr.org) |
|
1 point by compiler-guy on April 4, 2022 | past | 1 comment
|
|
| | The Problem with Friendly C (regehr.org) |
|
3 points by gpderetta on Feb 2, 2022 | past
|
|
| | The Piano Test for Program Verification (2011) (regehr.org) |
|
37 points by tosh on Jan 26, 2022 | past | 23 comments
|
|
| | Compiler Optimizations Are Awesome (regehr.org) |
|
3 points by spekcular on Jan 9, 2022 | past
|
|
| | Sensor Network Technology in Vinge’s a Deepness in the Sky (regehr.org) |
|
87 points by strlen on Dec 24, 2021 | past | 33 comments
|
|
| | Levels of Fuzzing (2013) (regehr.org) |
|
2 points by Tomte on Dec 14, 2021 | past
|
|
| | A sufficiently advanced compiler is indistinguishable from an adversary (regehr.org) |
|
3 points by iudqnolq on Nov 21, 2021 | past
|
|
| | A Close Look at a Spinlock (regehr.org) |
|
99 points by tgymnich on Nov 6, 2021 | past | 27 comments
|
|
| | Fun at the Unix Terminal Part 1 (regehr.org) |
|
5 points by pabs3 on Oct 30, 2021 | past | 2 comments
|
|
| | A Guide to Undefined Behavior in C and C++ (2010) (regehr.org) |
|
1 point by azhenley on July 1, 2021 | past
|
|
| | Explaining Code using ASCII Art (2019) (regehr.org) |
|
5 points by bshanks on June 17, 2021 | past
|
|
| | The Piano Test for Program Verification (regehr.org) |
|
2 points by rbanffy on May 17, 2021 | past
|
|
| | Responsible and Effective Bugfinding (2020) (regehr.org) |
|
1 point by azhenley on May 9, 2021 | past
|
|
| | Responsible and Effective Bugfinding (regehr.org) |
|
1 point by azhenley on April 25, 2021 | past
|
|
| | Responsible and Effective Bugfinding (regehr.org) |
|
1 point by azhenley on April 22, 2021 | past
|
|
| | Operant Conditioning by Software Bugs (2012) (regehr.org) |
|
40 points by dceddia on Jan 25, 2021 | past | 16 comments
|
|
| | Operant Conditioning by Software Bugs (regehr.org) |
|
1 point by andrelaszlo on Nov 19, 2020 | past
|
|
| | Operant Conditioning by Software Bugs (regehr.org) |
|
2 points by andrelaszlo on Nov 19, 2020 | past
|
|
| | Efficient Integer Overflow Checking in LLVM (2016) (regehr.org) |
|
84 points by ot on Sept 24, 2020 | past | 22 comments
|
|
| | Classic Bug Reports (2015) (regehr.org) |
|
19 points by luu on Sept 6, 2020 | past | 2 comments
|
|
| | Proposal for a Friendly Dialect of C (regehr.org) |
|
2 points by goranmoomin on Sept 5, 2020 | past
|
|
| | Responsible and Effective Bugfinding (regehr.org) |
|
1 point by azhenley on Aug 19, 2020 | past
|
|
| | Responsible and Effective Bugfinding (regehr.org) |
|
1 point by weinzierl on Aug 18, 2020 | past
|
|
| | Responsible and Effective Bugfinding (regehr.org) |
|
2 points by ingve on Aug 17, 2020 | past
|
|
| | Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM (regehr.org) |
|
2 points by weinzierl on Aug 1, 2020 | past
|
|
| | Use of Assertions (2014) (regehr.org) |
|
30 points by kqr on July 22, 2020 | past | 14 comments
|
|
| | C No Evil (2011) (regehr.org) |
|
2 points by azhenley on July 20, 2020 | past
|
|
|
|
More |
