@@ -15,7 +15,7 @@ import semmle.code.cpp.models.interfaces.Iterator
15
15
*/
16
16
private class IteratorTraits extends Class {
17
17
IteratorTraits ( ) {
18
- this .hasQualifiedName ( "std" , "iterator_traits" ) and
18
+ this .hasQualifiedName ( [ "std" , "bsl" ] , "iterator_traits" ) and
19
19
not this instanceof TemplateClass and
20
20
exists ( TypedefType t |
21
21
this .getAMember ( ) = t and
@@ -44,15 +44,15 @@ private class IteratorByTypedefs extends Iterator, Class {
44
44
this .getAMember ( ) .( TypedefType ) .hasName ( "pointer" ) and
45
45
this .getAMember ( ) .( TypedefType ) .hasName ( "reference" ) and
46
46
this .getAMember ( ) .( TypedefType ) .hasName ( "iterator_category" ) and
47
- not this .hasQualifiedName ( "std" , "iterator_traits" )
47
+ not this .hasQualifiedName ( [ "std" , "bsl" ] , "iterator_traits" )
48
48
}
49
49
}
50
50
51
51
/**
52
52
* The `std::iterator` class.
53
53
*/
54
54
private class StdIterator extends Iterator , Class {
55
- StdIterator ( ) { this .hasQualifiedName ( "std" , "iterator" ) }
55
+ StdIterator ( ) { this .hasQualifiedName ( [ "std" , "bsl" ] , "iterator" ) }
56
56
}
57
57
58
58
/**
@@ -340,7 +340,7 @@ private class BeginOrEndFunction extends MemberFunction, TaintFunction, GetItera
340
340
*/
341
341
private class InserterIteratorFunction extends GetIteratorFunction {
342
342
InserterIteratorFunction ( ) {
343
- this .hasQualifiedName ( "std" , [ "front_inserter" , "inserter" , "back_inserter" ] )
343
+ this .hasQualifiedName ( [ "std" , "bsl" ] , [ "front_inserter" , "inserter" , "back_inserter" ] )
344
344
}
345
345
346
346
override predicate getsIterator ( FunctionInput input , FunctionOutput output ) {
0 commit comments