Predicate DataFlow::isIncomplete

Holds if the flow information for the node nd.

This predicate holds if there may be a source flow node from which data flows into this node, but that node is not a result of getALocalSource() due to analysis incompleteness. The parameter cause is bound to a string describing the source of incompleteness.

For example, since this analysis is intra-procedural, data flow from actual arguments to formal parameters is not modeled. Hence, if p is an access to a parameter, p.getALocalSource() does not return the corresponding argument, and p.isIncomplete("call") holds.