Hacker News new | past | comments | ask | show | jobs | submit | from login
Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM (regehr.org)
2 points by weinzierl 8 days ago | past | discuss
Use of Assertions (2014) (regehr.org)
30 points by kqr 18 days ago | past | 14 comments
C No Evil (2011) (regehr.org)
2 points by azhenley 20 days ago | past
Explaining Code using ASCII Art (2019) (regehr.org)
3 points by galacticdessert 44 days ago | past
You Might as Well Be a Great Copy Editor (regehr.org)
8 points by weinzierl 45 days ago | past | 1 comment
You might as well be a great copy editor (regehr.org)
144 points by dannas 46 days ago | past | 54 comments
The Saturation Effect in Fuzzing (regehr.org)
73 points by weinzierl 53 days ago | past | 21 comments
The Basic Toolbox (regehr.org)
2 points by lowmemcpu 55 days ago | past
Operant Conditioning by Software Bugs (regehr.org)
1 point by pcr910303 63 days ago | past
Tracking miscompilations in LLVM using its own unit tests (regehr.org)
2 points by weinzierl 66 days ago | past
Alive2 Part 2: Tracking miscompilations in LLVM using its own unit tests (regehr.org)
5 points by matt_d 67 days ago | past
The Little C Function from Hell (regehr.org)
3 points by luu 88 days ago | past
Operant Conditioning by Software Bugs (regehr.org)
1 point by luu 3 months ago | past
How to Fuzz an ADT Implementation (2013) (regehr.org)
64 points by luu 3 months ago | past | 6 comments
Proposal for a Friendly Dialect of C (regehr.org)
1 point by ori_b 3 months ago | past
Alive 2 Part 1: Introduction (regehr.org)
1 point by weinzierl 4 months ago | past
Alive 2 Part 1: Introduction (regehr.org)
1 point by matt_d 5 months ago | past
How Did Software Get So Reliable Without Proof? (regehr.org)
3 points by thamer 5 months ago | past | 2 comments
Precision Opportunities for Demanded Bits in LLVM (regehr.org)
54 points by luu 6 months ago | past | 7 comments
Precision Opportunities for Demanded Bits in LLVM (regehr.org)
1 point by matt_d 6 months ago | past
Testing Dataflow Analyses for Precision and Soundness (regehr.org)
38 points by matt_d 6 months ago | past | 2 comments
Testing Dataflow Analyses for Precision and Soundness (regehr.org)
2 points by luu 6 months ago | past
Testing Dataflow Analyses for Precision and Soundness (regehr.org)
1 point by matt_d 7 months ago | past
Helping Generative Fuzzers Avoid Looking Only Where the Light Is Good, Part 1 (regehr.org)
2 points by adunk 9 months ago | past
Helping Generative Fuzzers Avoid Looking Only Where the Light Is Good, Part 1 (regehr.org)
2 points by matt_d 9 months ago | past
Reducers Are Fuzzers (regehr.org)
11 points by harperlee 9 months ago | past
Write Fuzzable Code (regehr.org)
140 points by matt_d 11 months ago | past | 29 comments
Write Fuzzable Code (regehr.org)
2 points by luu 11 months ago | past
Design and Evolution of C-Reduce (Part 2) (regehr.org)
1 point by weinzierl 11 months ago | past
Write Fuzzable Code (regehr.org)
2 points by weinzierl 11 months ago | past

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: