Polyspace nodesktop programs not running

Hello,

I'm setting up scripts that use the nodesktop.exe files for both Bug Finder and Code Prover. For both files though, when I pass the -h flag for pulling up help options, they output nothing and don't seem to run at all.

Additionally, Bug Finder (nodesktop) doesn't run in general despite using option files and configurations that the rest of my team uses successfully.

What could I be missing about their usage?

[Arvind Narayanan]

Can you share the script that is calling the EXE files for BugFinder(No desktop) and CodeProver (No Desktop) ? Without that, it is hard to pinpoint the error since there is no issue with the EXE files as such.

If not, you can even share the command that you type into your console to run the EXE file.

[Wilson A N]

This may be a path related issue. Can you try invoking just polyspace (not the nodesktop option) from command line with the required arguments and check if it is working or not

[Lorenz Mende]

We are experiencing this behavior too. What version are you running? With R2016b this approach did work for us. With R2017a the nodesktop does not work anymore.

[Lorenz Mende]

Hi Jeff, I was lucky and found a solution to our problem, maybe this suits you too. When running Polyspace Code Prover in GUI no analysis was started, its status was failed and in the log it said that the side-by-side configuration was erroneous. This errror message leaded me to the VC++ Redist packages, finally https://www.microsoft.com/en-us/download/details.aspx?id=26347 this fixed the issues completely. So even if the provided package is not helping, try to check your installed packages. Hope this helps you.