Predicate shouldTrackProperties
Holds if baseVal is an abstract value whose properties we track.
Import path
import semmle.javascript.dataflow.internal.AbstractPropertiesImpl
predicate
shouldTrackProperties
(
AbstractValue
baseVal
)