C++: BSL support.

geoffw0 · geoffw0 · commit 354f21f2c326 · 2021-02-11T16:57:20.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdPair.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/StdPair.qll
@@ -8,7 +8,7 @@ import semmle.code.cpp.models.interfaces.Taint
  * An instantiation of `std::pair<T1, T2>`.
  */
 class StdPair extends ClassTemplateInstantiation {
-  StdPair() { this.hasQualifiedName("std", "pair") }
+  StdPair() { this.hasQualifiedName(["std", "bsl"], "pair") }
 }
 
 /**
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdSet.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/StdSet.qll
@@ -9,7 +9,7 @@ import semmle.code.cpp.models.interfaces.Iterator
  * An instantiation of `std::set` or `std::unordered_set`.
  */
 class StdSet extends ClassTemplateInstantiation {
-  StdSet() { this.hasQualifiedName("std", ["set", "unordered_set"]) }
+  StdSet() { this.hasQualifiedName(["std", "bsl"], ["set", "unordered_set"]) }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ import semmle.code.cpp.models.interfaces.Taint`
`8`	`8`	* An instantiation of `std::pair<T1, T2>`.
`9`	`9`	`*/`
`10`	`10`	`class StdPair extends ClassTemplateInstantiation {`
`11`		`- StdPair() { this.hasQualifiedName("std", "pair") }`
	`11`	`+ StdPair() { this.hasQualifiedName(["std", "bsl"], "pair") }`
`12`	`12`	`}`
`13`	`13`
`14`	`14`	`/**`
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ import semmle.code.cpp.models.interfaces.Iterator`
`9`	`9`	* An instantiation of `std::set` or `std::unordered_set`.
`10`	`10`	`*/`
`11`	`11`	`class StdSet extends ClassTemplateInstantiation {`
`12`		`- StdSet() { this.hasQualifiedName("std", ["set", "unordered_set"]) }`
	`12`	`+ StdSet() { this.hasQualifiedName(["std", "bsl"], ["set", "unordered_set"]) }`
`13`	`13`	`}`
`14`	`14`
`15`	`15`	`/**`