A problem when using polyspace: Error: Unable to create temp file, version 2019.b

When using polyspace bug finder and code prover, I always get the following Error: "Error: Unable to create temp file", how do I fix it

Answer 1

[Anirban]

Does any of the solutions here help: Fix Polyspace Errors Related to Temporary Files ?

[J]

I can't change the permissions of temporary folder. So I have to use the option -tmp-dir-in-results-dir in project configuration every time?

[J]

Will this error affect the analysis results of the Bug Finder and Code Prover? When I ran the test, I found that the result of indicating this error was the same as without it.

[Anirban]

When you say:

"Will this error affect the analysis results of the Bug Finder and Code Prover? When I ran the test, I found that the result of indicating this error was the same as without it."

Do you mean that the analysis completed despite the error? Or are you asking if the usage of the option -tmp-dir-in-results-dir will affect the analysis results? If it is the latter, then the answer is no. The use of the option does not affect analysis results. It simply changes the location where temp files are being stored.

As for whether the option needs to be used each time, it seems, yes. There seems to be some antivirus restrictions or other restrictions on writing to your regular temporary folder. If you cannot work around those restrictions, this option seems to be your best bet.

[J]

Yes, the analysis completed despite the error. And I run bug finder and code prover several times. Sometimes this error appears, sometimes it doesn't. The analysis results are all the same. Will this error affect the analysis results？

How should I use this option? I found that the example on the official website does not work. But when I use this command -bug-finder -tmp-dir-in-results-dir, it seems to have no errors and can operate normally.

[Anirban]

In the Other field, you simply have to enter: -tmp-dir-in-results-dir

The following syntax is for the command line only:

polyspace-bug-finder -tmp-dir-in-results-dir

[J]

This error still occured even after I used the -tmp-dir-in-results-dir option. So, dose this error affect the analysis results? Should I ignore it?

[Anirban]

I think that this specific temp-file issue is a warning and not an error in the latest release. And I think this means it can be ignored. But if you want deeper investigation, please contact MathWorks Technical Support.