Member predicate DataFlow :: InvokeNode :: getACallee
Gets a potential callee of this call site.
To alter the call graph as seen by the interprocedural data flow libraries, override
the getACallee(int imprecision)
predicate instead.
Function
getACallee
(
)