Why do I get Polyspace Unable to rename file error during analysis?
9 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
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 commentaires
g g
le 4 Sep 2017
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
le 13 Sep 2017
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.
Réponses (2)
g g
le 13 Sep 2017
After an update to McAfee this issues have "magically" dissapeared making McAfee the most likely cause of the errors.
0 commentaires
Kang Sheng Wong
le 11 Avr 2019
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.
0 commentaires
Voir également
Catégories
En savoir plus sur Run Settings dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!