Frama-Clang: a Frama-C front-end for C++
Origin : Files produced by the author(s)