Frama-Clang: a Frama-C front-end for C++ - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Conference Poster Year : 2014

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

Fichier principal
Vignette du fichier
poster.jpg (778.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

cea-01835663 , version 1 (11-07-2018)

Identifiers

  • HAL Id : cea-01835663 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More