(self, stack_variables: List[SimStackVariable], var_manager: VariableManagerInternal,
                             user=None, state=None)
return r
:param stack_variables:
        :param var_manager:
        :return:
def push_stack_variables(self, stack_variables: List[SimStackVariable], var_manager: VariableManagerInternal,
                             user=None, state=None):
        """

        :param stack_variables:
        :param var_manager:
        :return:
        """
        r = True
        for var in stack_variables:
            guessed_var_type = var_manager.get_variable_type(var)
            var_type = guessed_var_type if guessed_var_type else "BOT"

            # construct a StackVariable for each SimStackVariable
            sync_stack_var = StackVariable(var.offset, StackOffsetType.ANGR, var.name,
                                           var_type, var.size, var_manager.func_addr)

            r &= state.set_stack_variable(sync_stack_var, var.offset, var_manager.func_addr)

        # return true only if all pushed worked
        return r
def push_stack_variables ( self , stack_variables : List [ SimStackVariable ] , var_manager : VariableManagerInternal , user = None , state = None ) : r = True for var in stack_variables : guessed_var_type = var_manager . get_variable_type ( var ) var_type = guessed_var_type if guessed_var_type else "BOT" # construct a StackVariable for each SimStackVariable sync_stack_var = StackVariable ( var . offset , StackOffsetType . ANGR , var . name , var_type , var . size , var_manager . func_addr ) r &= state . set_stack_variable ( sync_stack_var , var . offset , var_manager . func_addr ) # return true only if all pushed worked return r