Member predicate DataSensitiveCallExpr :: flowsFrom

Whether src can flow to this call expression.

Searches backwards from getSrc() to src.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                flowsFrom
                            
                            
                                (
                                
                                    
                                        Element
                                    
                                     
                                    src
                                
                                , 
                                
                                    
                                        boolean
                                    
                                     
                                    allowFromArg
                                
                                )