Member predicate ControlFlowNode::refersTo
Gets what this flow node might “refer-to”. Performs a combination of localized (intra-procedural) points-to
analysis and global module-level analysis. This points-to analysis favours precision over recall. It is highly
precise, but may not provide information for a significant number of flow-nodes.
If the class is unimportant then use refersTo(value)
or refersTo(value, origin)
instead.
predicate refersTo(Object obj, ClassObject cls, ControlFlowNode origin)