예제 #1
0
 def interpreter(self):
     return ForwardInterpreter(self.cfg, DefaultForwardSemantics(), 3)
예제 #2
0
 def interpreter(self):
     forward = ForwardInterpreter(self.cfg, DefaultForwardSemantics(), 3)
     return BackwardInterpreter(self.cfg, DefaultBackwardSemantics(), 2,
                                forward)