cprover
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 analyses directory.