Closed afsafzal closed 5 years ago
Just to double check: What version of BugZoo are you using?
2.1.21
It looks like FileManager.write
is failing to preserve the original permissions of the file inside the container. Below is an approximate trace of the calls that are made during the coverage instrumentation call:
https://github.com/squaresLab/BugZoo/blob/master/bugzoo/mgr/coverage/gcov.py#L200
https://github.com/squaresLab/BugZoo/blob/master/bugzoo/mgr/file.py#L116
https://github.com/squaresLab/BugZoo/blob/master/bugzoo/mgr/container.py#L460
When the file is copied from the host to the container, via docker cp
, it, incorrectly, retains the original permissions of that file. Instead, copy_to
should retain the original permissions of the file. Strangely, I thought that I had fixed this bug a while back.
Manually compiling in the container after instrumentation: