Module Make::DataFlowIntegration::WithState

Import path

import codeql.ssa.Ssa

guardChecksDefSig	Holds if the guard `g` validates the SSA definition `def` upon evaluating to `branch`, blocking flow in the given `state`.
guardChecksSig	Holds if the guard `g` validates the expression `e` upon evaluating to `branch`, blocking flow in the given `state`.

State