CodeQL library for Java
codeql/java-all 0.4.4 (changelog, source)
Search

Predicate checkCallContextReturn

Checks whether inner can return to call in the call context innercc. Assumes a context of inner = viableCallableExt(call).

Import path

import semmle.code.java.dataflow.internal.DataFlowImplCommon
predicate checkCallContextReturn(CallContext innercc, DataFlowCallable inner, DataFlowCall call)