Predicate DataFlow::DataFlow::isIncomplete

Holds if the flow information for this node is incomplete.

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.

predicate isIncomplete(Node nd, Incompleteness cause)