Home > Keywords > Tools > Verse
Verimag Semantic Extractor, extracts semantic information from C code using clang.