analyses
ansi-c # should go away
java_bytecode
jdiff
goto-analyzer
goto-programs
langapi # should go away
util
