Update swift/ql/src/queries/Summary/SummaryStats.ql

geoffw0 · MathiasVP · web-flow · commit e288b07099a8 · 2022-12-08T13:02:58.000Z
Co-authored-by: Mathias Vorreiter Pedersen &lt;mathiasvp@github.com&gt;
diff --git a/swift/ql/src/queries/Summary/SummaryStats.ql b/swift/ql/src/queries/Summary/SummaryStats.ql
@@ -25,7 +25,7 @@ class TaintReachConfig extends TaintTracking::Configuration {
 
 float taintReach() {
   exists(TaintReachConfig config, int tainted, int total |
-    tainted = count(DataFlow::Node n | config.hasFlow(_, n)) and
+    tainted = count(DataFlow::Node n | config.hasFlowTo(n)) and
     total = count(DataFlow::Node n) and
     result = (tainted * 1000000.0) / total
   )

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,7 @@ class TaintReachConfig extends TaintTracking::Configuration {`
`25`	`25`
`26`	`26`	`float taintReach() {`
`27`	`27`	`exists(TaintReachConfig config, int tainted, int total \|`
`28`		`- tainted = count(DataFlow::Node n \| config.hasFlow(_, n)) and`
	`28`	`+ tainted = count(DataFlow::Node n \| config.hasFlowTo(n)) and`
`29`	`29`	`total = count(DataFlow::Node n) and`
`30`	`30`	`result = (tainted * 1000000.0) / total`
`31`	`31`	`)`