Module signature InputSig

Import path

import codeql.controlflow.ControlFlowReachability

disjointValues
exprHasValue
getEnclosingAstNode
getParent
ssaControls	Holds if `def` evaluating to `v` controls the basic block `bb`. That is, execution of `bb` implies that `def` evaluated to `v`.
ssaControlsBranchEdge	Holds if `def` evaluating to `v` controls the control-flow branch edge from `bb1` to `bb2`. That is, following the edge from `bb1` to `bb2` implies that `def` evaluated to `v`.

AstNode
Expr
FinallyBlock
GuardValue	An abstract value that a `Guard` may evaluate to.
SourceVariable	A variable that can be SSA converted.
SsaDefinition
SsaExplicitWrite
SsaPhiDefinition
SsaUncertainWrite