Python: Disregard all files matching .py%

tausbn · tausbn · commit 47686a6e4ccd · 2021-03-24T14:03:00.000+01:00
diff --git a/python/ql/src/semmle/python/Files.qll b/python/ql/src/semmle/python/Files.qll
@@ -79,7 +79,7 @@ class File extends Container {
     exists(this.getRelativePath()) and
     (
       // The file doesn't have the extension `.py` but still contains Python statements
-      not this.getExtension() = "py" and
+      not this.getExtension().matches("py%") and
       exists(Stmt s | s.getLocation().getFile() = this)
       or
       // The file contains the usual `if __name__ == '__main__':` construction

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ class File extends Container {`
`79`	`79`	`exists(this.getRelativePath()) and`
`80`	`80`	`(`
`81`	`81`	// The file doesn't have the extension `.py` but still contains Python statements
`82`		`- not this.getExtension() = "py" and`
	`82`	`+ not this.getExtension().matches("py%") and`
`83`	`83`	`exists(Stmt s \| s.getLocation().getFile() = this)`
`84`	`84`	`or`
`85`	`85`	// The file contains the usual `if __name__ == '__main__':` construction