Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix error occurred from file change due to permission bits modificati…
…on (#356) We use git diff to extract file infos. In particular rare cases, our code fails to extracting relevant file infos for certain commits, due to special extended header lines `old mode 100644` `new mode 100755` returned by the git diff, it throws an AssertionError halfway during the analysis. This is due to git, besides the file content and changes, it also tracks the executable bit of the files' permission. As our program did not foresee this scenario, it crashes upon the occurrence. Let's fix this by inserting additional guard clause for this scenario in our FileInfoExtractor.
- Loading branch information