qtil
advanced-security/qtil-javascript 0.0.3
Search

Member predicate SharedTypeTrackingStep::loadStep

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

predicate loadStep(Node pred, Node succ, string prop)