I'm trying to execute an analysis in polyspace. After the selection of the folder where there are the source files (.c) and the header files (.h), when I click on Run Bug Finder, I get the following message error:

Error: Polyspace : Read/Write access problem on C:\Users\Gennaro\Desktop\prova\Module_1\BF_Result\sources_list.txt (errno=13)

Can you tell me how to overcome it?

Every user has a full control of the folder.

---

EDIT: the resource monitor in Windows 10 didn't find any process that is locking the file sources_list.txt, and this file doesn't exist in the above folder.