Remove workaround that accounted for missing flow

Benjamin Muskalla · Benjamin Muskalla · commit 6c5933371647 · 2021-11-10T16:30:21.000+01:00
diff --git a/java/ql/src/utils/model-generator/CaptureSummaryModels.ql b/java/ql/src/utils/model-generator/CaptureSummaryModels.ql
@@ -58,7 +58,7 @@ class ParameterToFieldConfig extends TaintTracking::Configuration {
 
   override predicate isSink(DataFlow::Node sink) {
     exists(FieldAssignment a |
-      a.getSource().getAChildExpr() = sink.asExpr() or a.getSource() = sink.asExpr()
+      a.getSource() = sink.asExpr()
     )
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -58,7 +58,7 @@ class ParameterToFieldConfig extends TaintTracking::Configuration {`
`58`	`58`
`59`	`59`	`override predicate isSink(DataFlow::Node sink) {`
`60`	`60`	`exists(FieldAssignment a \|`
`61`		`- a.getSource().getAChildExpr() = sink.asExpr() or a.getSource() = sink.asExpr()`
	`61`	`+ a.getSource() = sink.asExpr()`
`62`	`62`	`)`
`63`	`63`	`}`
`64`	`64`	`}`