CPP: Be slash/case insensitive.

geoffw0 · geoffw0 · commit a6e0296c0cfb · 2019-03-29T11:19:20.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/File.qll b/cpp/ql/src/semmle/code/cpp/File.qll
@@ -304,7 +304,7 @@ class File extends Container, @file {
       c.getAFileCompiled() = this and
       (
         c.getAnArgument() = "--microsoft" or
-        c.getAnArgument().matches("%\\\\cl.exe")
+        c.getAnArgument().toLowerCase().replaceAll("\\", "/").matches("%/cl.exe")
       )
     ) or exists(File parent |
       parent.compiledAsMicrosoft() and

Original file line number	Diff line number	Diff line change
`@@ -304,7 +304,7 @@ class File extends Container, @file {`
`304`	`304`	`c.getAFileCompiled() = this and`
`305`	`305`	`(`
`306`	`306`	`c.getAnArgument() = "--microsoft" or`
`307`		`- c.getAnArgument().matches("%\\\\cl.exe")`
	`307`	`+ c.getAnArgument().toLowerCase().replaceAll("\\", "/").matches("%/cl.exe")`
`308`	`308`	`)`
`309`	`309`	`) or exists(File parent \|`
`310`	`310`	`parent.compiledAsMicrosoft() and`