Module PreBasicBlocks
INTERNAL: Do not use.
Provides a basic block implementation on control flow elements. That is,
a “pre-CFG” where the nodes are (unsplit) control flow elements and the
successor relation is succ = succ(pred, _)
.
The logic is duplicated from the implementation in BasicBlocks.qll
, and
being an internal class, all predicate documentation has been removed.
Import path
import semmle.code.csharp.controlflow.internal.PreBasicBlocks
Imports
csharp | The default C# QL library. |