hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 03:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: remove unneeded predicate

Browse Source
This commit is contained in:
Robert Marsh
2020-09-24 10:37:38 -07:00
parent 89332ca303
commit 094b06ec2a
2 changed files with 0 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

@@ -93,8 +93,6 @@ class IteratorPointerDereferenceOperator extends Operator, TaintFunction, Iterat
input = iteratorInput and
output.isReturnValue()
}
override FunctionInput getIteratorInput() { result = iteratorInput }
}
/**
@@ -179,8 +177,6 @@ class IteratorPointerDereferenceMemberOperator extends MemberFunction, TaintFunc
this.getDeclaringType() instanceof Iterator
}
override FunctionInput getIteratorInput() { result.isQualifierObject() }
override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
input.isQualifierObject() and
output.isReturnValue()
@@ -276,8 +272,6 @@ class IteratorArrayMemberOperator extends MemberFunction, TaintFunction, Iterato
input.isQualifierObject() and
output.isReturnValue()
}
override FunctionInput getIteratorInput() { result.isQualifierObject() }
}
/**

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

@@ -15,5 +15,4 @@ import semmle.code.cpp.models.Models
* can be used to write to the iterator's underlying collection.
*/
abstract class IteratorReferenceFunction extends Function {
abstract FunctionInput getIteratorInput();
}