Predicate shouldTrackProperties
Holds if flow should be tracked through properties of obj
.
Flow is tracked through module
and module.exports
objects.
Import path
import semmle.javascript.dataflow.internal.FlowSteps
predicate shouldTrackProperties(AbstractValue obj)