Module JavaDataFlow

Import path

import semmle.code.java.dataflow.internal.DataFlowImplSpecific

Private
Public

Gets the node corresponding to e.

getSecondLevelScope	Gets the second-level scope containing the node `n`, if any.
mayBenefitFromCallContext	Holds if the set of viable implementations that can be called by `call` might be improved by knowing the call context. This is the case if the qualifier is a parameter of the enclosing callable of `call`.
validParameterAliasStep
viableImplInCallContext	Gets a viable dispatch target of `call` in the context `ctx`. This is restricted to those `call`s for which a context might make a difference.