(self,
                              state: 'ReachingDefinitionsState',
                              function_address: int, call_stack: Optional[List],
                              maximum_local_call_depth: int,
                              visited_blocks: Set[int],
                              dep_graph: 'DepGraph',
                              src_ins_addr: Optional[int] = None,
                              codeloc: Optional['CodeLocation'] = None
                              )
return False, state, visited_blocks, dep_graph
:param state: The state at the entry of the function, i.e. the function's input state.
        :param function_address: The address of the function to handle.
        :param call_stack:
        :param maximum_local_call_depth:
        :param visited_blocks: A set of the addresses of the previously visited blocks.
        :param dep_graph: A definition-use graph, where nodes represent definitions, and edges represent uses.
        :param codeloc: The code location of the call to the analysed function.
:param state: The state at the entry of the function, i.e. the function's input state.
        :param function_address: The address of the function to handle.
        :param call_stack:
        :param maximum_local_call_depth:
        :param visited_blocks: A set of the addresses of the previously visited blocks.
        :param dep_graph: A definition-use graph, where nodes represent definitions, and edges represent uses.
        :param codeloc: The code location of the call to the analysed function.
: param state : The state at the entry of the function i . e . the function s input state . : param function_address : The address of the function to handle . : param call_stack : : param maximum_local_call_depth : : param visited_blocks : A set of the addresses of the previously visited blocks . : param dep_graph : A definition - use graph where nodes represent definitions and edges represent uses . : param codeloc : The code location of the call to the analysed function .
def handle_local_function(self,
                              state: 'ReachingDefinitionsState',
                              function_address: int, call_stack: Optional[List],
                              maximum_local_call_depth: int,
                              visited_blocks: Set[int],
                              dep_graph: 'DepGraph',
                              src_ins_addr: Optional[int] = None,
                              codeloc: Optional['CodeLocation'] = None
                              ) -> Tuple[bool, "ReachingDefinitionsState", "Set[int]", "DepGraph"]:
        """
        :param state: The state at the entry of the function, i.e. the function's input state.
        :param function_address: The address of the function to handle.
        :param call_stack:
        :param maximum_local_call_depth:
        :param visited_blocks: A set of the addresses of the previously visited blocks.
        :param dep_graph: A definition-use graph, where nodes represent definitions, and edges represent uses.
        :param codeloc: The code location of the call to the analysed function.
        """
        l.warning('Please implement the local function handler with your own logic.')
        return False, state, visited_blocks, dep_graph
def handle_local_function ( self , state : 'ReachingDefinitionsState' , function_address : int , call_stack : Optional [ List ] , maximum_local_call_depth : int , visited_blocks : Set [ int ] , dep_graph : 'DepGraph' , src_ins_addr : Optional [ int ] = None , codeloc : Optional [ 'CodeLocation' ] = None ) -> Tuple [ bool , "ReachingDefinitionsState" , "Set[int]" , "DepGraph" ] : l . warning ( 'Please implement the local function handler with your own logic.' ) return False , state , visited_blocks , dep_graph