qtil
advanced-security/qtil-javascript 0.0.3
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.