mirror of
https://github.com/github/codeql.git
synced 2025-12-24 04:36:35 +01:00
C++: Make QL-for-QL happy.
This commit is contained in:
@@ -15,18 +15,6 @@ private class StdBasicString extends ClassTemplateInstantiation {
|
|||||||
StdBasicString() { this.hasQualifiedName(["std", "bsl"], "basic_string") }
|
StdBasicString() { this.hasQualifiedName(["std", "bsl"], "basic_string") }
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
|
||||||
* The `std::basic_string::iterator` declaration.
|
|
||||||
*/
|
|
||||||
private class StdBasicStringIterator extends Type instanceof Iterator {
|
|
||||||
StdBasicStringIterator() {
|
|
||||||
exists(Type unspecified |
|
|
||||||
unspecified.getEnclosingElement() = any(StdBasicString s).getTemplate() and
|
|
||||||
unspecified.getUnspecifiedType() = this
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A `std::string` function for which taint should be propagated.
|
* A `std::string` function for which taint should be propagated.
|
||||||
*/
|
*/
|
||||||
|
|||||||
Reference in New Issue
Block a user