Autoformat

2025-12-24 04:36:35 +01:00 · 2022-05-18 09:38:11 +02:00
parent a4a004a322
commit af7df79289
3 changed files with 3 additions and 9 deletions
--- a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
@@ -813,9 +813,7 @@ module Private {
     * be useful to include in the exposed local data-flow/taint-tracking relations.
     */
    predicate summaryThroughStepTaint(ArgNode arg, Node out) {
-      exists(ReturnNodeExt ret |
-        summaryLocalStep(summaryArgParam(arg, ret, out), ret, false)
-      )
+      exists(ReturnNodeExt ret | summaryLocalStep(summaryArgParam(arg, ret, out), ret, false))
    }

    /**