Module AbstractProperties

Import path

semmle.javascript.dataflow.AbstractProperties

Imports

javascript

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

Classes

AbstractProperty

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.

AbstractProtoProperty

An abstract representation of the __proto__ property of a function or class instance.