JS: Remove reference to isInputInto

aschackmull · aschackmull · commit 4e515bc2f553 · 2025-02-21T14:48:24.000+01:00
diff --git a/javascript/ql/lib/semmle/javascript/dataflow/internal/TaintTrackingPrivate.qll b/javascript/ql/lib/semmle/javascript/dataflow/internal/TaintTrackingPrivate.qll
@@ -41,7 +41,7 @@ pragma[inline_late]
 private BasicBlock getBasicBlockFromSsa2(Ssa2::Node node) {
   result = node.(Ssa2::ExprNode).getExpr().getBasicBlock()
   or
-  node.(Ssa2::SsaInputNode).isInputInto(_, result)
+  result = node.(Ssa2::SsaInputNode).getBasicBlock()
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ pragma[inline_late]`
`41`	`41`	`private BasicBlock getBasicBlockFromSsa2(Ssa2::Node node) {`
`42`	`42`	`result = node.(Ssa2::ExprNode).getExpr().getBasicBlock()`
`43`	`43`	`or`
`44`		`- node.(Ssa2::SsaInputNode).isInputInto(_, result)`
	`44`	`+ result = node.(Ssa2::SsaInputNode).getBasicBlock()`
`45`	`45`	`}`
`46`	`46`
`47`	`47`	`/**`