codeql/cpp-all
3.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if data can flow from node1 to node2 via a store into c. Thus, node2 references an object with a content c.getAStoreContent() that contains the value of node1.
node1
node2
c
c.getAStoreContent()
signature predicate storeStep(Node node1, ContentSet c, Node node2)