\ingroup module_hidden
\defgroup goto-analyzer goto-analyzer

# Folder goto-analyzer

`goto-analyzer/` is a tool performing static analyses on goto
programs. It provides the front end for many of the static analyses
in the \ref analyses directory.
