Member predicate DataFlow :: InvokeNode :: getACallee

Gets a callee of this call site where imprecision is a heuristic measure of how likely it is that callee is only suggested as a potential callee due to imprecise analysis of global variables and is not, in fact, a viable callee at all.

Callees with imprecision zero, in particular, have either been derived without considering global variables, or are calls to a global variable within the same file, or a global variable that has unique definition within the project.

This predicate can be overridden to alter the call graph used by the interprocedural data flow libraries.


                            
                                
                                    Function
                                
                                 
                            
                            
                                getACallee
                            
                            
                                (
                                
                                    
                                        int
                                    
                                     
                                    imprecision
                                
                                )