The dogged pursuit of bug-free C programs: The Frama-C Software Analysis Platform

Patrick Baudin; François Bobot; David Bühler; Loïc Correnson; Florent Kirchner; Nikolai Kosmatov; André Maroneze; Valentin Perrelle; Virgile Prevosto; Julien Signoles; Nicky Williams

doi:10.1145/3470569

The dogged pursuit of bug-free C programs: The Frama-C Software Analysis Platform

Patrick Baudin
, François Bobot
, David Bühler
, Loïc Correnson
, Florent Kirchner
, Nikolai Kosmatov
, André Maroneze
, Valentin Perrelle
, Virgile Prevosto
, Julien Signoles
, Nicky Williams

Université Paris-Saclay
Thales Research & Technology

Research output: Contribution to journal › Review article › peer-review

61 Citations (Scopus)

Abstract

A panoramic view of a popular platform for C program analysis and verification.

Original language	English
Pages (from-to)	56-67
Number of pages	12
Journal	Communications of the ACM
Volume	64
Issue number	8
DOIs	https://doi.org/10.1145/3470569
Publication status	Published - 1 Aug 2021
Externally published	Yes

Access to Document

10.1145/3470569

Cite this

@article{3b8ff5ec6d1d4308b2a8204fb0881d93,

title = "The dogged pursuit of bug-free C programs: The Frama-C Software Analysis Platform",

abstract = "A panoramic view of a popular platform for C program analysis and verification.",

author = "Patrick Baudin and Fran{\c c}ois Bobot and David B{\"u}hler and Lo{\"i}c Correnson and Florent Kirchner and Nikolai Kosmatov and Andr{\'e} Maroneze and Valentin Perrelle and Virgile Prevosto and Julien Signoles and Nicky Williams",

note = "Publisher Copyright: {\textcopyright} 2021 ACM.",

year = "2021",

month = aug,

day = "1",

doi = "10.1145/3470569",

language = "English",

volume = "64",

pages = "56--67",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery ",

number = "8",

}

TY - JOUR

T1 - The dogged pursuit of bug-free C programs

T2 - The Frama-C Software Analysis Platform

AU - Baudin, Patrick

AU - Bobot, François

AU - Bühler, David

AU - Correnson, Loïc

AU - Kirchner, Florent

AU - Kosmatov, Nikolai

AU - Maroneze, André

AU - Perrelle, Valentin

AU - Prevosto, Virgile

AU - Signoles, Julien

AU - Williams, Nicky

PY - 2021/8/1

Y1 - 2021/8/1

N2 - A panoramic view of a popular platform for C program analysis and verification.

AB - A panoramic view of a popular platform for C program analysis and verification.

U2 - 10.1145/3470569

DO - 10.1145/3470569

M3 - Review article

AN - SCOPUS:85112654811

SN - 0001-0782

VL - 64

SP - 56

EP - 67

JO - Communications of the ACM

JF - Communications of the ACM

IS - 8

ER -

The dogged pursuit of bug-free C programs: The Frama-C Software Analysis Platform

Abstract

Access to Document

Fingerprint

Cite this