Update ContentDataFlow

hvitved · hvitved · commit 2d61b4335b8b · 2024-12-12T14:43:35.000+01:00
diff --git a/shared/dataflow/codeql/dataflow/internal/ContentDataFlowImpl.qll b/shared/dataflow/codeql/dataflow/internal/ContentDataFlowImpl.qll
@@ -237,7 +237,7 @@ module MakeImplContentDataFlow<LocationSig Location, InputSig<Location> Lang> {
       Node node1, State state1, ContentSet c, Node node2, StoreState state2
     ) {
       exists(boolean preservesValue, int size |
-        storeSet(node1, c, node2, _, _) and
+        storeSet(node1, c, node2) and
         ContentConfig::isRelevantContent(c) and
         state2.decode(size + 1, preservesValue)
       |

Original file line number	Diff line number	Diff line change
`@@ -237,7 +237,7 @@ module MakeImplContentDataFlow<LocationSig Location, InputSig<Location> Lang> {`
`237`	`237`	`Node node1, State state1, ContentSet c, Node node2, StoreState state2`
`238`	`238`	`) {`
`239`	`239`	`exists(boolean preservesValue, int size \|`
`240`		`- storeSet(node1, c, node2, _, _) and`
	`240`	`+ storeSet(node1, c, node2) and`
`241`	`241`	`ContentConfig::isRelevantContent(c) and`
`242`	`242`	`state2.decode(size + 1, preservesValue)`
`243`	`243`	`\|`