CodeQL library for JavaScript
codeql/javascript-all 0.7.4 ( changelog , source )

Predicate DataFlow :: SharedTypeTrackingStep :: withoutPropStep

Holds if type-tracking should step from pred to succ but block flow of prop through here.

This can be seen as taking a copy of the value in pred but without the properties in props.

Import path

import javascript
predicate withoutPropStep ( Node pred , Node succ , PropertySet props )