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

Predicate checkCallContextCall

Checks whether call can resolve to calltarget in the call context cc. Assumes a context of calltarget = viableCallableExt(call).

Import path

import semmle.code.java.dataflow.internal.DataFlowImplCommon
predicate checkCallContextCall(CallContext cc, DataFlowCall call, DataFlowCallable calltarget)