From 6c5933371647fc087254d021f44cf67775b9cf96 Mon Sep 17 00:00:00 2001 From: Benjamin Muskalla Date: Fri, 1 Oct 2021 11:48:12 +0200 Subject: [PATCH] Remove workaround that accounted for missing flow --- java/ql/src/utils/model-generator/CaptureSummaryModels.ql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/ql/src/utils/model-generator/CaptureSummaryModels.ql b/java/ql/src/utils/model-generator/CaptureSummaryModels.ql index ef796700dce..95881663eb9 100644 --- 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() ) } }