JS: Fix conflicting default for visbleImplInCallContext

asgerf · asgerf · commit e5bc8db2f07e · 2024-03-13T15:17:08.000+01:00
diff --git a/javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/DataFlowArg.qll b/javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/DataFlowArg.qll
@@ -12,6 +12,8 @@ module JSDataFlow implements SharedDataFlow::InputSig {
   predicate neverSkipInPathGraph = Private::neverSkipInPathGraph/1;
 
   predicate accessPathLimit = Private::accessPathLimit/0;
+
+  predicate viableImplInCallContext = Private::viableImplInCallContext/2;
 }
 
 module JSTaintFlow implements SharedTaintTracking::InputSig<JSDataFlow> {

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,8 @@ module JSDataFlow implements SharedDataFlow::InputSig {`
`12`	`12`	`predicate neverSkipInPathGraph = Private::neverSkipInPathGraph/1;`
`13`	`13`
`14`	`14`	`predicate accessPathLimit = Private::accessPathLimit/0;`
	`15`	`+`
	`16`	`+ predicate viableImplInCallContext = Private::viableImplInCallContext/2;`
`15`	`17`	`}`
`16`	`18`
`17`	`19`	`module JSTaintFlow implements SharedTaintTracking::InputSig<JSDataFlow> {`