Member predicate DataFlow::Node::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(Incompleteness cause)