JS: Fix compilation error in DataFlowImplConsistency.qll

asgerf · asgerf · commit 1c730bc66ea1 · 2024-06-27T12:47:15.000+02:00
diff --git a/javascript/ql/lib/semmle/javascript/dataflow/internal/DataFlowImplConsistency.qll b/javascript/ql/lib/semmle/javascript/dataflow/internal/DataFlowImplConsistency.qll
@@ -4,7 +4,7 @@ private import sharedlib.DataFlowArg
 private import semmle.javascript.dataflow.internal.DataFlowPrivate
 private import semmle.javascript.dataflow.internal.DataFlowNode
 
-private module ConsistencyConfig implements InputSig<JSDataFlow> {
+private module ConsistencyConfig implements InputSig<Location, JSDataFlow> {
   private predicate isAmbientNode(DataFlow::Node node) {
     exists(AstNode n | n.isAmbient() |
       node = TValueNode(n) or
@@ -39,4 +39,4 @@ private module ConsistencyConfig implements InputSig<JSDataFlow> {
   }
 }
 
-module Consistency = MakeConsistency<JSDataFlow, JSTaintFlow, ConsistencyConfig>;
+module Consistency = MakeConsistency<Location, JSDataFlow, JSTaintFlow, ConsistencyConfig>;

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ private import sharedlib.DataFlowArg`
`4`	`4`	`private import semmle.javascript.dataflow.internal.DataFlowPrivate`
`5`	`5`	`private import semmle.javascript.dataflow.internal.DataFlowNode`
`6`	`6`
`7`		`-private module ConsistencyConfig implements InputSig<JSDataFlow> {`
	`7`	`+private module ConsistencyConfig implements InputSig<Location, JSDataFlow> {`
`8`	`8`	`private predicate isAmbientNode(DataFlow::Node node) {`
`9`	`9`	`exists(AstNode n \| n.isAmbient() \|`
`10`	`10`	`node = TValueNode(n) or`
`@@ -39,4 +39,4 @@ private module ConsistencyConfig implements InputSig<JSDataFlow> {`
`39`	`39`	`}`
`40`	`40`	`}`
`41`	`41`
`42`		`-module Consistency = MakeConsistency<JSDataFlow, JSTaintFlow, ConsistencyConfig>;`
	`42`	`+module Consistency = MakeConsistency<Location, JSDataFlow, JSTaintFlow, ConsistencyConfig>;`