Predicate DataFlow :: isIncomplete

Holds if the flow information for the node nd.

This predicate holds if there may be a source flow node from which data flows into this node, but that node is not a result of getALocalSource() due to analysis incompleteness. The parameter cause is bound to a string describing the source of incompleteness.

For example, since this analysis is intra-procedural, data flow from actual arguments to formal parameters is not modeled. Hence, if p is an access to a parameter, p.getALocalSource() does not return the corresponding argument, and p.isIncomplete("call") holds.

Import path


                                import javascript


                            
                                
                                    predicate
                                
                                 
                            
                            
                                isIncomplete
                            
                            
                                (
                                
                                    
                                        Node
                                    
                                     
                                    nd
                                
                                , 
                                
                                    
                                        Incompleteness
                                    
                                     
                                    cause
                                
                                )