CodeQL library for C/C++
codeql/cpp-all 0.12.0 (changelog, source)

Predicate storeStepImpl

Holds if data can flow from node1 to node2 via an assignment to f. Thus, node2 references an object with a field f that contains the value of node1.

The boolean certain is true if the destination address does not involve any pointer arithmetic, and false otherwise.

Import path

predicate storeStepImpl(Node node1, Content c, PostFieldUpdateNode node2, boolean certain)