Python: Also restrict StepSumary::step

yoff · yoff · commit 8ceb33d3f713 · 2021-01-04T16:42:11.000+01:00
diff --git a/python/ql/src/semmle/python/dataflow/new/TypeTracker.qll b/python/ql/src/semmle/python/dataflow/new/TypeTracker.qll
@@ -51,7 +51,7 @@ module StepSummary {
    * heap and/or inter-procedural step from `nodeFrom` to `nodeTo`.
    */
   cached
-  predicate step(Node nodeFrom, Node nodeTo, StepSummary summary) {
+  predicate step(LocalSourceNode nodeFrom, Node nodeTo, StepSummary summary) {
     exists(Node mid | typePreservingStep*(nodeFrom, mid) and smallstep(mid, nodeTo, summary))
   }
 

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ module StepSummary {`
`51`	`51`	* heap and/or inter-procedural step from `nodeFrom` to `nodeTo`.
`52`	`52`	`*/`
`53`	`53`	`cached`
`54`		`- predicate step(Node nodeFrom, Node nodeTo, StepSummary summary) {`
	`54`	`+ predicate step(LocalSourceNode nodeFrom, Node nodeTo, StepSummary summary) {`
`55`	`55`	`exists(Node mid \| typePreservingStep*(nodeFrom, mid) and smallstep(mid, nodeTo, summary))`
`56`	`56`	`}`
`57`	`57`