Remove workaround that accounted for missing flow

2026-04-28 10:15:14 +02:00 · 2021-10-01 11:48:12 +02:00
parent 7dae6122d9
commit 6c59333716
1 changed files with 1 additions and 1 deletions
--- 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()
    )
  }
 }