analyses
ansi-c
assembler
cpp
goto-diff
goto-instrument
goto-programs
java_bytecode # will go away
langapi # should go away
pointer-analysis
util
