Member predicate TaintTracking :: SharedTaintStep :: heuristicStep

Holds if pred → succ should be considered a taint-propagating data flow edge contributed by the heuristics library.

Such steps are provided by the semmle.javascript.heuristics libraries and will default to be being empty if those libraries are not imported.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                heuristicStep
                            
                            
                                (
                                
                                    
                                        Node
                                    
                                     
                                    pred
                                
                                , 
                                
                                    
                                        Node
                                    
                                     
                                    succ
                                
                                )