JS: Prevent some bad joins under RTJO.

alexet · alexet · commit 5f7757740a5a · 2025-05-02T16:48:20.000+01:00
diff --git a/javascript/ql/lib/semmle/javascript/dataflow/TypeTracking.qll b/javascript/ql/lib/semmle/javascript/dataflow/TypeTracking.qll
@@ -138,7 +138,7 @@ class TypeTracker extends TTypeTracker {
   TypeTracker step(DataFlow::SourceNode pred, DataFlow::SourceNode succ) {
     exists(StepSummary summary |
       StepSummary::step(pred, succ, summary) and
-      result = this.append(summary)
+      result = pragma[only_bind_out](this).append(summary)
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -138,7 +138,7 @@ class TypeTracker extends TTypeTracker {`
`138`	`138`	`TypeTracker step(DataFlow::SourceNode pred, DataFlow::SourceNode succ) {`
`139`	`139`	`exists(StepSummary summary \|`
`140`	`140`	`StepSummary::step(pred, succ, summary) and`
`141`		`- result = this.append(summary)`
	`141`	`+ result = pragma[only_bind_out](this).append(summary)`
`142`	`142`	`)`
`143`	`143`	`}`
`144`	`144`