Module BasicBlocks
Provides classes for working with basic blocks, and predicates for computing liveness information for local variables.
Import path
import semmle.javascript.BasicBlocksImports
| javascript | Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML. |
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. |