C++/Assembly 将 arguments 推入堆栈以进行 function 调用

Question

我有一个特殊情况，我需要一次将 arguments 压入堆栈，然后调用一个 function，它将一个可调用对象作为参数，并将那些被压入堆栈的 arguments 传递给可调用对象/函数。 为了解决这个问题，我在汇编中创建了一些函数以将 arguments 压入堆栈并调用 function 传递那些 arguments。但是它接缝工作但是每当我调用传递给 CallFunction 的可调用对象中的其他函数时，我的代码开始在奇怪的地方中断.

我需要这个 function 来接受任何调用。 任何帮助将非常感激。

请注意，std::bind 和其他类似功能不是一个选项。 每个参数都需要使用 function 调用一次一个地压入堆栈，我需要能够在调用 PushArg 和 CallFunction 之间调用函数应该返回它执行的 function 的返回值。

我试过什么：

在调用开始时保存堆栈指针并在我返回之前恢复它（当前状态）

在 memory 中创建我自己的堆栈以存储 arguments（太复杂和凌乱，效率不如仅使用寄存器和现有堆栈。如果可能，希望避免）

代码：

.data
FunctionPointer QWORD 0
ReturnPointer QWORD 0
StackPointer QWORD 0

.code
ALIGN 16

FT_StartCall PROC
    mov [StackPointer],rsp
    ret
FT_StartCall ENDP

FT_PushIntPointer PROC
    pop ReturnPointer
    push rcx
    push ReturnPointer
    ret
FT_PushIntPointer ENDP

FT_CallFunction PROC
    ;save return address in Memory
    pop ReturnPointer
    mov FunctionPointer,rcx
    pop rcx
    pop rdx
    pop r8
    pop r9
    push r9
    push r8
    push rdx
    push rcx
    call FunctionPointer
    mov rcx,0
    mov rdx,0
    mov r8,0
    mov r9,0
    mov rsp, [StackPointer]
    push ReturnPointer
    ret
FT_CallFunction ENDP

END

C++：

extern "C" void* __fastcall FT_CallFunction(void* Function);

extern "C" void __fastcall FT_PushIntPointer(void* ArgOrPointer);

extern "C" void __fastcall FT_StartCall();

int ADD(int first,int second){

return first+second;

}

int main(){

FT_StartCall();

FT_PushIntPointer(3);

FT_PushIntPointer(2);

int res = FT_CallFunction(ADD);

return res;

}

Output：

5

Answer 1

正如每个人都同意的那样，您正在使用这段代码深入研究 UB 领域，但我猜它确实具有一些实验价值。

您应该考虑分配自己的私有堆栈以获得更强大的功能。

这段代码：

pop rcx
pop rdx
pop r8
pop r9
push r9
push r8
push rdx
push rcx

除了加扰 rcd、rdx、r8 和 r9 之外什么都不做。 你应该删除它。

这段代码也是如此：

mov rcx,0
mov rdx,0
mov r8,0
mov r9,0

你试过这样的事情吗？

FT_CallFunction PROC
    ; save return address in Memory
    pop [ReturnPointer]

    ; call and replace with our own return point.
    call [rcx]

    mov rsp,[StackPointer]

    ; return to caller
    push [ReturnPointer]
    ret
FT_CallFunction ENDP