CodeQL library for JavaScript/TypeScript

codeql/javascript-all 2.6.1-dev (changelog, source)

Module DataFlow::PseudoProperties

A collection of pseudo-properties that are used in multiple files.

A pseudo-property represents the location where some value is stored in an object.

For use with load/store steps in DataFlow::SharedFlowStep and TypeTracking.

Import path

import javascript

Predicates

arrayElement	Gets a pseudo-property for the location of elements in an `Array`.
arrayElement	Gets a pseudo-property for the location of the `i`th element in an `Array`.
arrayLikeElement	Gets a pseudo-property for the location of elements in some array-like object. (Set, Array, or Iterator).
isMapValueKey	Holds if `prop` equals `mapValueKey(key)` for some value of `key`.
isPseudoProperty	Holds if `s` is a pseudo-property.
iteratorElement	Gets a pseudo-property for the location of elements in a JavaScript iterator.
mapValue	Gets a pseudo-property for the location of a map value where the key is `key`.
mapValueAll	Gets a pseudo-property for the location of all the values in a map.
mapValueKey	Gets a pseudo-property for the location of a map value where the key is `key`.
mapValueKnownKey	Gets a pseudo-property for the location of a map value where the key is `key`. The string value of the `key` is encoded in the result, and there is only a result if the string value of `key` is known.
mapValueUnknownKey	Gets a pseudo-property for the location of map values, where the key is unknown.
setElement	Gets a pseudo-property for the location of elements in a `Set`