Module FlowStepsInput

Provides the input types and predicates for instantiation of UniversalFlow.

Import path

import semmle.code.java.dataflow.TypeFlow

isExcludedFromNullAnalysis	Holds if `n` should be excluded from the set of null values even if the null analysis determines that `n` is always null.
isNullValue	Holds if `null` is the only value that flows to `n`.
step	Holds if data can flow from `n1` to `n2` in one step.

A Field, BaseSsaVariable, Expr, or Method.