This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.
goto-analyzer/ is a tool performing static analyses on goto programs. It provides the front end for many of the static analyses in the analyses directory.