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
采纳的回答
Anirban
2023-11-7
0 个投票
7 个评论
J
2023-11-8
J
2023-11-8
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
2023-11-9
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
2023-11-9
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
2023-11-10
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?
更多回答（0 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息
Translated by 
