Java: Add missing field pruning.

2026-04-27 01:35:13 +02:00 · 2019-09-20 16:13:48 +02:00
parent 648335d46d
commit d9aa46d3b0
1 changed files with 1 additions and 0 deletions
--- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll
+++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll
@@ -1075,6 +1075,7 @@ private predicate flowCandFwd0(Node node, boolean fromArg, AccessPathFront apf,
    flowCandFwd(mid, fromArg, _, config) and
    store(mid, f, node) and
    nodeCand(node, unbind(config)) and
+    readStoreCand(f, unbind(config)) and
    apf.headUsesContent(f)
  )
  or