Module Internal

Import path

import semmle.javascript.SSA

getDefReachingEndOf	Gets an SSA definition of `v` that reaches the end of basic block `bb`.
getDefinition	Gets the unique SSA definition of `v` whose value reaches the `i`th node of `bb`, which is a use of `v`.

RefKind	A classification of variable references into reads and writes.
TSsaDefinition	A data type representing SSA definitions.