CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.8.15-dev (changelog, source)
Index
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.