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

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.

[g g]

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]

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.

Answer 1

[g g]

After an update to McAfee this issues have "magically" dissapeared making McAfee the most likely cause of the errors.

Answer 2

[Kang Sheng Wong]

There are another way to fix this problem.

1) goto control panel, system properties > Environment Variables..

2) On the user variable, look for "TEMP" orr "TMP" path, edit it to another path "C:\Temp"

Then polyspace will able to run again.