Class VarRefinementContext
A refinement context specifying that some variable is assumed to have one particular abstract value.
Import path
import semmle.javascript.dataflow.Refinements
A refinement context specifying that some variable is assumed to have one particular abstract value.
import semmle.javascript.dataflow.Refinements