Member predicate TaintTrackingImplementation :: callTaintStep


                            
                                
                                    predicate
                                
                                 
                            
                            
                                callTaintStep
                            
                            
                                (
                                
                                    
                                        TaintTrackingNode
                                    
                                     
                                    src
                                
                                , 
                                
                                    
                                        Node
                                    
                                     
                                    node
                                
                                , 
                                
                                    
                                        TaintTrackingContext
                                    
                                     
                                    context
                                
                                , 
                                
                                    
                                        AttributePath
                                    
                                     
                                    path
                                
                                , 
                                
                                    
                                        TaintKind
                                    
                                     
                                    kind
                                
                                , 
                                
                                    
                                        string
                                    
                                     
                                    edgeLabel
                                
                                )