| 1. | | The Strict Aliasing Situation Is Pretty Bad (regehr.org) |
| 150 points by pascal_cuoq on March 15, 2016 | past | 67 comments |
|
| 2. | | Do Fiddly Buffer Overruns Matter? (regehr.org) |
| 5 points by pascal_cuoq on Feb 2, 2016 | past |
|
| 3. | | Asantoo: Gentoo compiled with AddressSanitizer (gentoo.org) |
| 3 points by pascal_cuoq on Jan 26, 2016 | past |
|
| 4. | | Performance anomaly on the Intel Broadwell processor (stackoverflow.com) |
| 4 points by pascal_cuoq on Dec 31, 2015 | past |
|
| 5. | | API Fuzzing vs. File Fuzzing: A Cautionary Tale (regehr.org) |
| 2 points by pascal_cuoq on Sept 28, 2015 | past |
|
| 6. | | Dropping RC4 (twitter.com/agl__) |
| 3 points by pascal_cuoq on Sept 1, 2015 | past | 1 comment |
|
| 7. | | 7 Bits Are Not Enough for 2-Digit Accuracy (exploringbinary.com) |
| 70 points by pascal_cuoq on April 1, 2015 | past | 27 comments |
|
| 8. | | Change of Z3 license (github.com/z3prover) |
| 1 point by pascal_cuoq on March 26, 2015 | past |
|
| 9. | | Errors vs. Bugs and the End of Stupidity (celandine13.livejournal.com) |
| 2 points by pascal_cuoq on March 22, 2015 | past |
|
| 10. | | Handling security bugs is not the open-source community’s strong point (trust-in-soft.com) |
| 5 points by pascal_cuoq on Feb 23, 2015 | past |
|
| 11. | | Glibc Adventures: The Forgotten Chunks [pdf] (contextis.co.uk) |
| 21 points by pascal_cuoq on Jan 29, 2015 | past |
|
| 12. | | Faith-driven science (mjambon.github.io) |
| 2 points by pascal_cuoq on Dec 27, 2014 | past |
|
| 13. | | An HTTP Status Code to Report Legal Obstacles (ietf.org) |
| 2 points by pascal_cuoq on Dec 17, 2014 | past |
|
| 14. | | StackOverflow: Obtaining peak bandwidth on Haswell (stackoverflow.com) |
| 2 points by pascal_cuoq on Sept 23, 2014 | past |
|
| 15. | | We know correlation does not imply causality. What does? (rgrig.blogspot.com) |
| 22 points by pascal_cuoq on Aug 9, 2014 | past | 36 comments |
|
| 16. | | Stack Overflow helped me with my problem (stackoverflow.com) |
| 3 points by pascal_cuoq on Aug 5, 2014 | past |
|
| 17. | | Heartbleed and Static Analysis (regehr.org) |
| 134 points by pascal_cuoq on April 11, 2014 | past | 36 comments |
|
| 18. | | A C SSL implementation without buffer overflows (trust-in-soft.com) |
| 3 points by pascal_cuoq on April 9, 2014 | past |
|
| 19. | | An interesting SSL implementation bug: CVE-2013-5914 (frama-c.com) |
| 1 point by pascal_cuoq on March 13, 2014 | past |
|
| 20. | | A bitcoin FAQ (brokenlibrarian.org) |
| 9 points by pascal_cuoq on Dec 30, 2013 | past |
|
| 21. | | Improving OCaml's inlining (ocamlpro.com) |
| 3 points by pascal_cuoq on May 25, 2013 | past |
|
| 22. | | A 63-bit floating-point type for 64-bit OCaml (frama-c.com) |
| 2 points by pascal_cuoq on May 9, 2013 | past |
|
| 23. | | Rounding float to nearest integer, part 3 (frama-c.com) |
| 1 point by pascal_cuoq on May 4, 2013 | past |
|
| 24. | | Harder than it looks: rounding a float to the nearest integer (frama-c.com) |
| 74 points by pascal_cuoq on May 2, 2013 | past | 46 comments |
|
| 25. | | Non-expert developers need accurate floating-point libraries the most (frama-c.com) |
| 1 point by pascal_cuoq on April 7, 2013 | past |
|
| 26. | | Operant Conditioning by Software Bugs (regehr.org) |
| 3 points by pascal_cuoq on Dec 31, 2012 | past |
|
| 27. | | Compiler-driven language development (frama-c.com) |
| 2 points by pascal_cuoq on Nov 17, 2012 | past |
|
| 28. | | On the redundancy of C99's restrict (frama-c.com) |
| 14 points by pascal_cuoq on July 25, 2012 | past | 23 comments |
|
| 29. | | On ending discussions and painting bikesheds (frama-c.com) |
| 2 points by pascal_cuoq on May 15, 2012 | past |
|
| 30. | | Security and safety (frama-c.com) |
| 1 point by pascal_cuoq on March 16, 2012 | past |
|
|
| More |
