You can run code verification at the Windows or Linux command line. However, after verification, you have to review your results in the Polyspace® user interface.
Extract information needed to run at the command line from a project configured in the Polyspace user interface.
Run verification on your desktop by using DOS or UNIX® command-line scripts.
Send Polyspace analysis jobs to a remote server by using DOS or UNIX command-line scripts.