diff --git a/cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll index f80d08dfba7..a4b82ea019f 100644 --- a/cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll +++ b/cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll @@ -254,6 +254,8 @@ class InParameterDeref extends FunctionInput, TInParameterDeref { /** Gets the zero-based index of the parameter. */ ParameterIndex getIndex() { result = index } + override predicate isParameterDeref(ParameterIndex i) { index = i } + override predicate isParameterDeref(ParameterIndex i, int indirection) { i = index and indirectionIndex = indirection }