analyses
goto-programs
pointer-analysis
util
