Member predicate FormattingFunction :: hasTaintFlow

Holds if data passed into the argument, qualifier, or buffer represented by input influences the return value or buffer represented by output


                            
                                
                                    predicate
                                
                                 
                            
                            
                                hasTaintFlow
                            
                            
                                (
                                
                                    
                                        FunctionInput
                                    
                                     
                                    input
                                
                                , 
                                
                                    
                                        FunctionOutput
                                    
                                     
                                    output
                                
                                )