Module Public
Import path
import semmle.javascript.internal.BasicBlockInternal
Classes
BasicBlock | A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins. |
EntryBasicBlock | An entry basic block, that is, a basic block whose first node is the entry node of a statement container. |
ReachableBasicBlock | A basic block that is reachable from an entry basic block. |
ReachableJoinBlock | A reachable basic block with more than one predecessor. |
UnreachableBlock | An unreachable basic block, that is, a basic block whose first node is unreachable. |