| Autor: |
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 |
| Předmět: |
|
| Zdroj: |
Communications of the ACM; Aug2021, Vol. 64 Issue 8, p56-68, 13p, 1 Illustration, 8 Diagrams |
| Abstrakt: |
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. |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
