Why do I receive 'Database locked' error in Polyspace Bugfinder R2015b?

Whenever I try to run Polyspace Bugfinder analysis on slightly larger size folder ( around 200 files) I end up getting the errors during compilation process saying 'Database locked' . The error doesn't give any more details. The files that I am using are all local to my machine . So, the option of someone else trying to access the files that Polyspace is using ruled out. Moreover I am also not trying to access these files through other application. So I am not able to understand the cause of the issue and also not able to find solution to it. I also observed that sometimes this issue doesn't come up and the analysis works fine. Can anyone suggest some fix?

Answers (1)

With some more investigation, I found out that this issue happens when Polyspace is trying to replace older files in result folder with updated ones when we try to run a polyspace analysis 2nd or subsequent times keeping result folder as same. Whenever we run it in a new folder for first time this issue doesn't come up.Looks like during the process of replacing some old files Polyspace runs into this issue for some files.May be POlyspace development team can look into it if its not a known issue.

Asked:

on 6 Jul 2017

Answered:

on 6 Jul 2017

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!