Example #1
0
 def generalize_retval(self, desc, arg):
     desc.consider_return(model.guess_type(arg))
Example #2
0
 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])