Predicate getAnInitialPropertyValue
Holds if the result is known to be an initial value of property propertyName of one
of the concrete objects represented by baseVal.
Import path
import semmle.javascript.dataflow.internal.AbstractPropertiesImpl
AbstractValue
getAnInitialPropertyValue
(
DefiniteAbstractValue
baseVal
,
string
propertyName
)