Skip to Main content Skip to Navigation
Poster communications

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
Document type :
Poster communications
Complete list of metadata

https://hal-cea.archives-ouvertes.fr/cea-01835663
Contributor : Virgile Prevosto Connect in order to contact the contributor
Submitted on : Wednesday, July 11, 2018 - 3:44:34 PM
Last modification on : Saturday, June 25, 2022 - 9:11:38 PM
Long-term archiving on: : Saturday, October 13, 2018 - 7:05:44 AM

Files

poster.jpg
Files produced by the author(s)

Identifiers

  • HAL Id : cea-01835663, version 1

Collections

CEA | DRT | LIST

Citation

Virgile Prévosto, Franck Védrine. Frama-Clang: a Frama-C front-end for C++. EuroLLVM, Apr 2014, Edinburgh, United Kingdom. ⟨cea-01835663⟩

Share

Metrics

Record views

77

Files downloads

26