Module Make::DataFlowIntegration::WithState

Import path

import codeql.ssa.Ssa

Holds if the guard g validates the expression e upon evaluating to branch, blocking flow in the given state.

State