Python: Fix code after removing getPostUpdateNode

RasmusWL · RasmusWL · commit 22c155687e70 · 2021-07-02T13:25:25.000+02:00
diff --git a/python/ql/src/semmle/python/dataflow/new/internal/TaintTrackingPrivate.qll b/python/ql/src/semmle/python/dataflow/new/internal/TaintTrackingPrivate.qll
@@ -178,7 +178,7 @@ predicate containerStep(DataFlow::CfgNode nodeFrom, DataFlow::Node nodeTo) {
   // list.append, set.add
   exists(DataFlow::MethodCallNode call, DataFlow::Node obj |
     call.calls(obj, ["append", "add"]) and
-    obj.getPostUpdateNode() = nodeTo and
+    obj = nodeTo.(DataFlow::PostUpdateNode).getPreUpdateNode() and
     call.getArg(0) = nodeFrom
   )
 }

Original file line number	Diff line number	Diff line change
`@@ -178,7 +178,7 @@ predicate containerStep(DataFlow::CfgNode nodeFrom, DataFlow::Node nodeTo) {`
`178`	`178`	`// list.append, set.add`
`179`	`179`	`exists(DataFlow::MethodCallNode call, DataFlow::Node obj \|`
`180`	`180`	`call.calls(obj, ["append", "add"]) and`
`181`		`- obj.getPostUpdateNode() = nodeTo and`
	`181`	`+ obj = nodeTo.(DataFlow::PostUpdateNode).getPreUpdateNode() and`
`182`	`182`	`call.getArg(0) = nodeFrom`
`183`	`183`	`)`
`184`	`184`	`}`