DataFlow: Add support for configuration-specific implicit reads.

2026-02-23 18:33:42 +01:00 · 2021-06-04 10:44:56 +02:00
parent 9110dfaeb3
commit b7ac329ba1
2 changed files with 656 additions and 478 deletions
--- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll
+++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll
--- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll
+++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll
@@ -724,7 +724,6 @@ private module Cached {
    Node node1, Content c, Node node2, DataFlowType contentType, DataFlowType containerType
  ) {
    storeStep(node1, c, node2) and
-    read(_, c, _) and
    contentType = getNodeDataFlowType(node1) and
    containerType = getNodeDataFlowType(node2)
    or