MATLAB: Polyspace (R2016b) Win64: I get exception path(path) when I try to run a analysis from commandline

command linepolyspacePolyspace Bug FinderPolyspace Bug Finder Server

Hi,
I created a options file with the Polyspace-configure command. When I try to run the analysis with polyspace-bug-finder-nodesktop and this file I just get the following exception:
Unexpected exception raised during ps_pckg.so call:
exception Path(Path) raised.
What is my Problem and how can I avoid it?
Thanks

Best Answer

In Polyspace releases prior to R2017b, the "-prog" flag in "polyspace-configure" command expects only the name of your Polyspace project and not the full path.
The following documentation gives the syntax and description for the same:
Specify name of project
In cases when "-prog" is not a real name but a path, the verification fails with the error you are receiving.
You can try giving just the project name with "-prog" and see if it works. For example, "-prog CWE114".
This issue has been fixed in Polyspace R2017b.
Related Question