analyses
ansi-c
cpp
goto-instrument
goto-programs
goto-symex
jsil
langapi # should go away
linking
pointer-analysis
solvers
xmllang
util
