C++: Minor bug fix.

geoffw0 · geoffw0 · commit 66d8943c0855 · 2024-02-06T17:20:14.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
@@ -183,7 +183,7 @@ private predicate relevantNamespace(string namespace) {
 private predicate namespaceLink(string shortns, string longns) {
   relevantNamespace(shortns) and
   relevantNamespace(longns) and
-  longns.prefix(longns.indexOf(".")) = shortns
+  longns.prefix(longns.indexOf("::")) = shortns
 }
 
 private predicate canonicalNamespace(string namespace) {

Original file line number	Diff line number	Diff line change
`@@ -183,7 +183,7 @@ private predicate relevantNamespace(string namespace) {`
`183`	`183`	`private predicate namespaceLink(string shortns, string longns) {`
`184`	`184`	`relevantNamespace(shortns) and`
`185`	`185`	`relevantNamespace(longns) and`
`186`		`- longns.prefix(longns.indexOf(".")) = shortns`
	`186`	`+ longns.prefix(longns.indexOf("::")) = shortns`
`187`	`187`	`}`
`188`	`188`
`189`	`189`	`private predicate canonicalNamespace(string namespace) {`