Files
codeql/python/change-notes/2021-04-20-stepsummary-localsourcenode.md
Taus c0569da65c Python: Move track/backtrack to LocalSourceNode
This is merely making explicit what was implicitly enforced. The move
to change the return type of `step` already meant that `this` and
`result` had to be `LocalSourceNode`. By moving these methods to their
rightful place, we should hopefully avoid a bit of suprising behaviour.
2021-04-20 14:39:56 +00:00

532 B

lgtm,codescanning

  • The predicates StepSummary::step and TypeTracker::step in TypeTracker.qll have been changed to use the more restrictive type LocalSourceNode for their second argument. For cases where stepping between non-LocalSourceNodes is required, the StepSummary::smallstep predicate may be used instead.
  • The methods Node::track and Node::backtrack have been moved to the class LocalSourceNode. If the old behavior is required, one can use LocalSourceNode::flowsTo to add back the missing flow.