Module PreSsa::SsaInput

Import path

import semmle.code.csharp.controlflow.internal.PreSsa

getABasicBlockSuccessor	Gets an immediate successor of basic block `bb`, if any.
getImmediateBasicBlockDominator	Gets the basic block that immediately dominates basic block `bb`, if any.
variableRead	Holds if the `i`th node of basic block `bb` reads source variable `v`. The Boolean `certain` indicates whether the read is certain.
variableWrite	Holds if the `i`th node of basic block `bb` is a (potential) write to source variable `v`. The Boolean `certain` indicates whether the write is certain.

ExitBasicBlock	An exit basic block, that is, a basic block whose last node is an exit node.
SourceVariable	A simple assignable. Either a local scope variable or a field/property that behaves like a local scope variable.