Predicate SsaImpl :: updatesNamedField

Holds if there exists a call-chain originating in call that can update f on some instance where f and call share the same enclosing callable in which a FieldRead of f is reachable from call.

Import path


                                import semmle.code.java.dataflow.SSA


                            
                                
                                    predicate
                                
                                 
                            
                            
                                updatesNamedField
                            
                            
                                (
                                
                                    
                                        Call
                                    
                                     
                                    call
                                
                                , 
                                
                                    
                                        TrackedField
                                    
                                     
                                    f
                                
                                , 
                                
                                    
                                        Callable
                                    
                                     
                                    setter
                                
                                )