Source code for lyra.engine.usage.usage_analysis

"""
Input Data Usage Analysis
=========================

:Author: Caterina Urban
"""

from lyra.abstract_domains.usage.usage_domain import SimpleUsageState
from lyra.engine.backward import BackwardInterpreter
from lyra.engine.runner import Runner
from lyra.semantics.backward import DefaultBackwardSemantics


[docs]class SimpleUsageAnalysis(Runner):

[docs]    def interpreter(self):
        return BackwardInterpreter(self.cfg, DefaultBackwardSemantics(), 3)

[docs]    def state(self):  # initial state
        return SimpleUsageState(self.variables)