Module AbstractPropertiesImpl

INTERNAL: Do not use directly; use semmle.javascript.dataflow.TypeInference instead.

Provides the internal representation of abstract properties and related predicates.

Import path

import semmle.javascript.dataflow.internal.AbstractPropertiesImpl

Imports

Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

Predicates

getAnInitialPropertyValue	Holds if the result is known to be an initial value of property `propertyName` of one of the concrete objects represented by `baseVal`.
shouldAlwaysTrackProperties	Holds if `baseVal` is an abstract value whose properties we track for the purposes of `getALocalValue`.
shouldTrackProperties	Holds if `baseVal` is an abstract value whose properties we track.

Datatypes

TAbstractProperty

An abstract representation of a set of concrete properties, characterized by a base object (which is an abstract value for which properties are tracked) and a property name.