hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Move the rest of of StdSequenceContainerBeginEnd into BeginOrEndFunction.

Browse Source
This commit is contained in:
Geoffrey White
2020-10-02 16:57:51 +01:00
parent 8d5bd2289b
commit 1efe461a98
2 changed files with 3 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -280,7 +280,9 @@ class IteratorArrayMemberOperator extends MemberFunction, TaintFunction, Iterato
*/ */
class BeginOrEndFunction extends MemberFunction, TaintFunction { class BeginOrEndFunction extends MemberFunction, TaintFunction {
BeginOrEndFunction() { BeginOrEndFunction() {
this.hasName(["begin", "cbegin", "rbegin", "crbegin", "end", "cend", "rend", "crend"]) and this
.hasName(["begin", "cbegin", "rbegin", "crbegin", "end", "cend", "rend", "crend",
"before_begin", "cbefore_begin"]) and
this.getType().getUnspecifiedType() instanceof Iterator this.getType().getUnspecifiedType() instanceof Iterator
} }

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

@@ -170,22 +170,6 @@ class StdSequenceContainerAssign extends TaintFunction {
} }
} }
/**
* The standard container `before_begin` and `cbefore_begin` functions.
*/
class StdSequenceContainerBeginEnd extends TaintFunction {
StdSequenceContainerBeginEnd() {
this
.hasQualifiedName("std", "forward_list",
["before_begin", "cbefore_begin"])
}
override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
input.isQualifierObject() and
output.isReturnValue()
}
}
/** /**
* The standard container `swap` functions. * The standard container `swap` functions.
*/ */