analyses
goto-programs
goto-symex
langapi # should go away
linking
pointer-analysis
solvers
util
