Module DataFlowImplCommon::ImplCommon

Predicates

argumentValueFlowsThrough

Holds if arg flows to out through a call using only value-preserving steps, in call context cc.

localStoreReadStep
parameterValueFlowsThrough

Holds if p can flow to a return node of kind kind in the same callable using only value-preserving steps, in call context cc.

parameterValueFlowsToUpdate

Holds if p can flow to the pre-update node of n in the same callable using only value-preserving steps.

read

Holds if data can flow from node1 to node2 via a direct read of f or via a getter.

store

Holds if data can flow from node1 to node2 via a direct assignment to f or via a call that acts as a setter.

viableParamArg

Holds if arg is a possible argument to p in call, taking virtual dispatch into account.

Datatypes