def generalize_retval(self, desc, arg): desc.consider_return(model.guess_type(arg))
def generalize_args(self, desc, frame): args = [arg for key, arg in frame.getargs()] #self.call_stack.append((desc, args)) desc.consider_call([model.guess_type(arg) for arg in args])