Module DataFlowImplCommon

Import path

semmle.code.java.dataflow.internal.DataFlowImplCommon

Imports

DataFlowUtil

Basic definitions for use in the data flow library.

ImplCommon

Predicates

Classes

CallContext

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

CallContextAny
CallContextCall
CallContextReturn
CallContextSomeCall
CallContextSpecificCall