Python: Fix setStoreStep to use SetElementContent

RasmusWL · RasmusWL · commit 62702d0ca9ea · 2022-02-07T13:18:36.000+01:00
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -1002,7 +1002,7 @@ predicate listStoreStep(CfgNode nodeFrom, ListElementContent c, CfgNode nodeTo)
 }
 
 /** Data flows from an element of a set to the set. */
-predicate setStoreStep(CfgNode nodeFrom, ListElementContent c, CfgNode nodeTo) {
+predicate setStoreStep(CfgNode nodeFrom, SetElementContent c, CfgNode nodeTo) {
   // Set
   //   `{..., 42, ...}`
   //   nodeFrom is `42`, cfg node

Original file line number	Diff line number	Diff line change
`@@ -1002,7 +1002,7 @@ predicate listStoreStep(CfgNode nodeFrom, ListElementContent c, CfgNode nodeTo)`
`1002`	`1002`	`}`
`1003`	`1003`
`1004`	`1004`	`/** Data flows from an element of a set to the set. */`
`1005`		`-predicate setStoreStep(CfgNode nodeFrom, ListElementContent c, CfgNode nodeTo) {`
	`1005`	`+predicate setStoreStep(CfgNode nodeFrom, SetElementContent c, CfgNode nodeTo) {`
`1006`	`1006`	`// Set`
`1007`	`1007`	// `{..., 42, ...}`
`1008`	`1008`	// nodeFrom is `42`, cfg node