Module Flow::ConsistencyChecks

Import path

import codeql.dataflow.VariableCapture

closureAliasMustBeInSameScope
closureMustHaveBody
consistencyOverview
localDominator
localSuccessor
uniqueCallableLocation
uniqueCfgNode
uniqueDefiningScope
uniqueDominator
uniqueEnclosingCallable
uniqueLocation
uniqueReadVariable
uniqueToString
uniqueWriteCfgNode
uniqueWriteTarget
variableAccessAstNesting
variableIsCaptured