Why do I get Polyspace Unable to rename file error during analysis?

Question

Bogdan Alecsa 2016-3-30

1
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/276119-why-do-i-get-polyspace-unable-to-rename-file-error-during-analysis

回答： Kang Sheng Wong 2019-4-11

During analysis with Polyspace Bug Finder, I get very often an error as below:

Error: Unable to rename C:\Temp\Polyspace\1214_1459319558\A32F3F_7135_1714.expanded as C:\Temp\Polyspace\1214_1459319558\A32F3F_7135_1714.

The analysis is then stopped.

2 个评论
显示无隐藏无

g g 2017-9-4

Ping?

I get the same errors (but with code prover) on a couple of different jobs since a couple of days on different machines with different code being tested. I am running the command line version and as an administrator.

Any help as to where to find the likely cause would be greatly appreciated.

Stefan David 2017-9-13

Afaik, there could be several root causes of this kind of behaviour. Could you please check for any “Zombie”-processes and stop them. Another root cause I've seen several times, could be anti-virus checkers, such as McAfee, which are locking the tmp files during their analysis.

请先登录，再进行评论。

请先登录，再回答此问题。