Module JavaDataFlow
Import path
import semmle.code.java.dataflow.internal.DataFlowImplSpecific
Predicates
exprNode | Gets the node corresponding to |
Aliases
getSecondLevelScope | Gets the second-level scope containing the node |
mayBenefitFromCallContext | Holds if the set of viable implementations that can be called by |
viableImplInCallContext | Gets a viable dispatch target of |