CodeQL library for JavaScript
codeql/javascript-all 0.2.2 (changelog, source)
Search

Datatype TRefinementContext

A context in which a refinement expression is analyzed.

Import path

import semmle.javascript.dataflow.Refinements

Known direct subtypes

Branch types

TVarRefinementContext

A refinement context associated with refinement ref, specifying that variable var is assumed to have abstract value val.

Injectors

TVarRefinementContext

A refinement context associated with refinement ref, specifying that variable var is assumed to have abstract value val.