(self, func, max_iterations=20, store_live_variables=False)
:param knowledge.Function func:  The function to analyze.
def __init__(self, func, max_iterations=20, store_live_variables=False):
        """

        :param knowledge.Function func:  The function to analyze.
        """

        function_graph_visitor = FunctionGraphVisitor(func)

        VariableRecoveryBase.__init__(self, func, max_iterations, store_live_variables)
        ForwardAnalysis.__init__(self, order_jobs=True, allow_merging=True, allow_widening=False,
                                 graph_visitor=function_graph_visitor)

        self._node_iterations = defaultdict(int)

        self._analyze()
def __init__ ( self , func , max_iterations = 20 , store_live_variables = False ) : function_graph_visitor = FunctionGraphVisitor ( func ) VariableRecoveryBase . __init__ ( self , func , max_iterations , store_live_variables ) ForwardAnalysis . __init__ ( self , order_jobs = True , allow_merging = True , allow_widening = False , graph_visitor = function_graph_visitor ) self . _node_iterations = defaultdict ( int ) self . _analyze ( )