Predicate Flow::heuristicAllowInstanceParameterReturnInSelf
Holds if this-to-this summaries are expected for c.
Import path
import codeql.dataflow.VariableCapturepredicate heuristicAllowInstanceParameterReturnInSelf(Callable c)Holds if this-to-this summaries are expected for c.
import codeql.dataflow.VariableCapturepredicate heuristicAllowInstanceParameterReturnInSelf(Callable c)