analyses
ansi-c
assembler
cpp
goto-checker
goto-instrument
goto-programs
goto-symex
jsil
json
json-symtab-language
langapi # should go away
linking
pointer-analysis
solvers
statement-list
xmllang
util
