cprover
goto-analyzer/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup goto-analyzer goto-analyzer
3 
4 # Folder goto-analyzer
5 
6 `goto-analyzer/` is a tool performing static analyses on goto
7 programs. It provides the front end for many of the static analyses
8 in the \ref analyses directory.