Accueil > Mots-clés > Tools > Verse
Verimag Semantic Extractor, extracts semantic information from C code using clang.