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

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...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 64; no. 8; pp. 56 - 69
Autores principales:	BAUDIN, PATRICK, BOBOT, FRANÇOIS, BÜHLER, DAVID, CORRENSON, LOÏC, KIRCHNER, FLORENT, KOSMATOV, NIKOLAI, MARONEZE, ANDRÉ, PERRELLE, VALENTIN, PREVOSTO, VIRGILE, SIGNOLES, JULIEN, WILLIAMS, NICKY
Formato:	Artículo
Publicado:	Association for Computing Machinery Aug2021
Materias:	C (Computer program language) Programming languages Plug-ins (Computer programs) Software verification Computer programming
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.