analyses
ansi-c # should go away
cbmc # bmc.h
goto-instrument
goto-programs
goto-symex
java_bytecode
jbmc
langapi # should go away
linking
pointer-analysis
util
