codeql/cpp-all
4.0.1
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if data can flow from node1 to node2 via a read of c. Thus, node1 references an object with a content c.getAReadContent() whose value ends up in node2.
node1
node2
c
c.getAReadContent()
signature predicate readStep(Node node1, ContentSet c, Node node2)