Module BasicBlocks

Provides classes for working with basic blocks, and predicates for computing liveness information for local variables.

Import path

semmle.javascript.BasicBlocks

Imports

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.