"""
Sign Analysis
=============
:Author: Jérôme Dohrau and Caterina Urban
"""
from lyra.engine.backward import BackwardInterpreter
from lyra.engine.forward import ForwardInterpreter
from lyra.engine.runner import Runner
from lyra.semantics.backward import DefaultBackwardSemantics
from lyra.semantics.forward import DefaultForwardSemantics
from lyra.abstract_domains.numerical.sign_domain import SignState
[docs]class ForwardSignAnalysis(Runner):
[docs] def interpreter(self):
return ForwardInterpreter(self.cfg, DefaultForwardSemantics(), 3)
[docs] def state(self):
return SignState(self.variables)
[docs]class BackwardSignAnalysis(Runner):
[docs] def interpreter(self):
return BackwardInterpreter(self.cfg, DefaultBackwardSemantics(), 3)
[docs] def state(self):
return SignState(self.variables)