analyses
goto-programs
goto-symex
pointer-analysis
testing-utils
util
