qtil
advanced-security/qtil-javascript 0.0.3
Search

Predicate SharedTypeTrackingStep::loadStep

Holds if type-tracking should step from the prop property of pred to succ.

Import path

import semmle.javascript.dataflow.TypeTracking
predicate loadStep(Node pred, Node succ, string prop)