Module AbstractProperties

Import path

import semmle.javascript.dataflow.AbstractProperties

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.