CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.8.12 (changelog, source)
Search

Member predicate DataFlow::SharedTypeTrackingStep::withoutPropStep

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

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

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