Predicate SsaImpl :: relevantFieldUpdate

Holds if fw is an update of f in c that is relevant for SSA construction.

Import path


                                import semmle.code.java.dataflow.SSA


                            
                                
                                    predicate
                                
                                 
                            
                            
                                relevantFieldUpdate
                            
                            
                                (
                                
                                    
                                        Callable
                                    
                                     
                                    c
                                
                                , 
                                
                                    
                                        Field
                                    
                                     
                                    f
                                
                                , 
                                
                                    
                                        FieldWrite
                                    
                                     
                                    fw
                                
                                )