Address comments

2025-12-24 04:36:35 +01:00 · 2023-03-20 13:34:14 +01:00
parent e0e3a1d621
commit 1d2f1b6ae6
8 changed files with 8 additions and 0 deletions
--- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll
@@ -1144,6 +1144,7 @@ module Impl<FullStateConfigSig Config> {
    module Stage<StageParam Param> implements StageSig {
      import Param

+      /* Begin: Stage logic. */
      pragma[nomagic]
      private predicate flowIntoCallApa(
        DataFlowCall call, ArgNodeEx arg, ParamNodeEx p, boolean allowsFieldFlow, ApApprox apa