CodeQL library for Java
codeql/java-all 0.4.0-dev (changelog, source)
Search

Predicate Cached::store

Holds if data can flow from node1 to node2 via a direct assignment to f.

This includes reverse steps through reads when the result of the read has been stored into, in order to handle cases like x.f1.f2 = y.

Import path

import semmle.code.java.dataflow.internal.DataFlowImplCommon
predicate store(Node node1, TypedContent tc, Node node2, DataFlowType contentType)