• The Dogged Pursuit of Bug-Free...

*Result*: The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform.

Title:
The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform.
Authors:
BAUDIN, PATRICK1, BOBOT, FRANÇOIS1, BÜHLER, DAVID1, CORRENSON, LOÏC1, KIRCHNER, FLORENT2, KOSMATOV, NIKOLAI3, MARONEZE, ANDRÉ1, PERRELLE, VALENTIN1, PREVOSTO, VIRGILE1, SIGNOLES, JULIEN1, WILLIAMS, NICKY1
Source:
Communications of the ACM. Aug2021, Vol. 64 Issue 8, p56-68. 13p. 1 Illustration, 8 Diagrams.
Subject Terms:
*C (Computer program language), *PROGRAMMING languages, *COMPUTER programming, PLUG-ins (Computer programs), SOFTWARE verification
Database:
Business Source Premier

*Further Information*

*The article criticizes aspects of the computer programming language C with a focus on the use of the Frama-C26 code analysis platform to proactively address illegal programs written in C. A gallery of Frama-C26 plug-ins for varying analyses and use cases including undefined behavior, verification of functional properties, and test case generation is provided. The use of Frama-C26 in education as well as industrial collaboration is outlined.*