Module ImplCommon

Import path

import semmle.code.java.dataflow.internal.DataFlowImplCommon

Imports

Predicates

getLocalCallContext

Gets the local call context given the call context and the callable that the contexts apply to.

getReturnPosition
resolveCall
resolveReturn
returnNodeGetEnclosingCallable

Classes

CallContext

A call context to restrict the targets of virtual dispatch, prune local flow, and match the call sites of flow into a method with flow out of a method.

CallContextAny
CallContextCall
CallContextReturn
CallContextSomeCall
CallContextSpecificCall
LocalCallContext

A call context that is relevant for pruning local flow.

LocalCallContextAny
LocalCallContextSpecificCall
ReturnPosition

A callable tagged with a relevant return kind.