Member predicate Configuration :: isSanitizerGuard

DEPRECATED: Use isSanitizer and BarrierGuard module instead.

Holds if taint propagation through nodes guarded by guard is prohibited when the flow state is state.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                
                                    isSanitizerGuard
                                
                            
                            
                                (
                                
                                    
                                        
                                            BarrierGuard
                                        
                                    
                                     
                                    guard
                                
                                , 
                                
                                    
                                        FlowState
                                    
                                     
                                    state
                                
                                )