Predicate PointsToInternal :: attributeRequired

Holds if the attribute name is required for obj For object x and attribute name it means that there exists somewhere in the code x.name or getattr(x, "name").

Import path


                                import semmle.python.pointsto.PointsTo


                            
                                
                                    predicate
                                
                                 
                            
                            
                                attributeRequired
                            
                            
                                (
                                
                                    
                                        ObjectInternal
                                    
                                     
                                    obj
                                
                                , 
                                
                                    
                                        string
                                    
                                     
                                    name
                                
                                )