Module signature UniversalFlowInput

Provides the input specification.

Import path

import codeql.typeflow.UniversalFlow

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 `n` represents a `null` value.
step	Holds if data can flow from `n1` to `n2` in one step.

A node for which certain data flow properties may be proved. For example, expressions and method declarations.

Location