| | Correct rounding or mathematically-correct rounding? (frama-c.com) |
| 1 point by cokernel_hacker on Jan 19, 2023 | past |
|
| | Frama-C: A platform to make your C code safer and more secure (frama-c.com) |
| 5 points by guerrilla on Dec 22, 2022 | past |
|
| | Framework for Modular Analysis of C (frama-c.com) |
| 1 point by guerrilla on Feb 19, 2021 | past |
|
| | Platform to make your C code safer and more secure (frama-c.com) |
| 3 points by dvfjsdhgfv on Feb 6, 2021 | past |
|
| | Frama-C: Modular Analysis of C Programs (frama-c.com) |
| 103 points by johlo on Oct 6, 2020 | past | 39 comments |
|
| | Frama-C: allows to verify source code complies with a provided formal spec (frama-c.com) |
| 2 points by based2 on Aug 11, 2018 | past |
|
| | A mini ACSL tutorial for Value, part 3: indirect assigns (frama-c.com) |
| 1 point by junke on Oct 13, 2016 | past |
|
| | A mini ACSL tutorial for Value, part 2 (frama-c.com) |
| 2 points by junke on Sept 30, 2016 | past |
|
| | A mini-tutorial of ACSL specifications for Value (frama-c.com) |
| 1 point by junke on Sept 23, 2016 | past |
|
| | Frama-C: Function Contracts and Static Analysis for the C Language (frama-c.com) |
| 62 points by vmorgulis on Jan 9, 2016 | past | 14 comments |
|
| | Frama-C is a suite of tools dedicated to the analysis of software written in C (frama-c.com) |
| 70 points by nkurz on April 11, 2014 | past | 17 comments |
|
| | An interesting SSL implementation bug: CVE-2013-5914 (frama-c.com) |
| 1 point by pascal_cuoq on March 13, 2014 | past |
|
| | The overflow when converting from float to integer is undefined behavior (frama-c.com) |
| 1 point by pdq on Oct 10, 2013 | past |
|
| | What a C program can do with a function pointer (frama-c.com) |
| 6 points by kryptiskt on Aug 24, 2013 | past | 1 comment |
|
| | Attack by Compiler (frama-c.com) |
| 5 points by ColinWright on May 20, 2013 | past |
|
| | A 63-bit floating-point type for 64-bit OCaml (frama-c.com) |
| 2 points by pascal_cuoq on May 9, 2013 | past |
|
| | Rounding float to nearest integer, part 3 (frama-c.com) |
| 1 point by pascal_cuoq on May 4, 2013 | past |
|
| | 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 |
|
| | Non-expert developers need accurate floating-point libraries the most (frama-c.com) |
| 1 point by pascal_cuoq on April 7, 2013 | past |
|
| | Compiler-driven language development (frama-c.com) |
| 2 points by pascal_cuoq on Nov 17, 2012 | past |
|
| | On the redundancy of C99's restrict (frama-c.com) |
| 14 points by pascal_cuoq on July 25, 2012 | past | 23 comments |
|
| | On ending discussions and painting bikesheds (frama-c.com) |
| 2 points by pascal_cuoq on May 15, 2012 | past |
|
| | Security and safety (frama-c.com) |
| 1 point by pascal_cuoq on March 16, 2012 | past |
|
| | Making OCaml native code 0.5% shorter on Mac OS X (frama-c.com) |
| 24 points by pascal_cuoq on Jan 7, 2012 | past | 4 comments |
|
| | Floating-point quiz (frama-c.com) |
| 3 points by pascal_cuoq on Nov 8, 2011 | past |
|
| | Mergeable interval maps (frama-c.com) |
| 1 point by pascal_cuoq on Sept 28, 2011 | past |
|
| | Frama-C Software Analyzers (frama-c.com) |
| 4 points by evangineer on June 4, 2011 | past |
|
