Frama-Clang: a Frama-C front-end for C++

Virgile Prévosto; Franck Védrine

Frama-Clang: a Frama-C front-end for C++

Virgile Prévosto ^{1, 2} Franck Védrine ^{2, 1}

1 LSL - Laboratoire Sûreté des Logiciels

DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS

2 DILS - Département Ingénierie Logiciels et Systèmes

Document type :

Poster communications

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01835663
Contributor : Virgile Prevosto <>
Submitted on : Wednesday, July 11, 2018 - 3:44:34 PM
Last modification on : Thursday, February 7, 2019 - 4:51:01 PM
Long-term archiving on : Saturday, October 13, 2018 - 7:05:44 AM

poster.jpg

Files produced by the author(s)

Frama-Clang: a Frama-C front-end for C++

Files

Identifiers

Collections

Citation

Export

Metrics

53

26

Contact

Frama-Clang: a Frama-C front-end for C++

Files

Identifiers

Collections

Citation

Export

Share

Metrics

53

26

Contact