hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Give Iterator a proper interface.

Browse Source
This commit is contained in:
Geoffrey White
2020-11-05 10:34:59 +00:00
parent b5326b3937
commit c9f846e0d2
6 changed files with 14 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/src/semmle/code/cpp/models/implementations/Iterator.qll
View File

@@ -48,10 +48,10 @@ private class StdIterator extends Class {
}
/**
* A type which can be used as an iterator
* Implements `Iterator`.
*/
class Iterator extends Type {
Iterator() {
private class IteratorImpl extends Iterator {
IteratorImpl() {
this instanceof IteratorByTypedefs or
exists(IteratorTraits it | it.getIteratorType() = this) or
this instanceof StdIterator

2
cpp/ql/src/semmle/code/cpp/models/implementations/StdContainer.qll
View File

@@ -3,7 +3,7 @@
*/
import semmle.code.cpp.models.interfaces.Taint
import semmle.code.cpp.models.implementations.Iterator
import semmle.code.cpp.models.interfaces.Iterator
/**
* Additional model for standard container constructors that reference the

2
cpp/ql/src/semmle/code/cpp/models/implementations/StdMap.qll
View File

@@ -3,7 +3,7 @@
*/
import semmle.code.cpp.models.interfaces.Taint
import semmle.code.cpp.models.implementations.Iterator
import semmle.code.cpp.models.interfaces.Iterator
/**
* Additional model for map constructors using iterator inputs.

2
cpp/ql/src/semmle/code/cpp/models/implementations/StdSet.qll
View File

@@ -3,7 +3,7 @@
*/
import semmle.code.cpp.models.interfaces.Taint
import semmle.code.cpp.models.implementations.Iterator
import semmle.code.cpp.models.interfaces.Iterator
/**
* Additional model for set constructors using iterator inputs.

3
cpp/ql/src/semmle/code/cpp/models/implementations/StdString.qll
View File

@@ -5,7 +5,8 @@
*/
import semmle.code.cpp.models.interfaces.Taint
import semmle.code.cpp.models.implementations.Iterator
import semmle.code.cpp.models.interfaces.Iterator
import semmle.code.cpp.models.interfaces.DataFlow
/**
* The `std::basic_string` template class.

6
cpp/ql/src/semmle/code/cpp/models/interfaces/Iterator.qll
View File

@@ -26,3 +26,9 @@ abstract class GetIteratorFunction extends Function {
*/
abstract predicate getsIterator(FunctionInput input, FunctionOutput output);
}
/**
* A type which can be used as an iterator.
*/
abstract class Iterator extends Type {
}