c - Linux AMD64 从复制的程序集调用 C 库函数

Question

如何从 memcpy 汇编函数调用 C 库函数？

我正在制作一个示例测试代码，说明如何在 Linux、AMD64 上分配和更改内存保护以运行从 C 任意生成的代码。我所做的是在我的主程序(用 C 语言编写)旁边编译一个小的 GAS 汇编函数，然后在运行时将汇编二进制 blob 复制到一 block 可执行内存中并跳入其中。这部分工作正常。

但是我如果从复制的程序集 blob 中调用 C 库 puts() 会由于错误的函数地址而导致段错误？!我该如何解决？

汇编代码块:

       .text
       .global      _print_hello_size
       .global      _print_hello
       .type        _print_hello,@function
_print_hello:
       push %rbp
       mov %rsp, %rbp
       # puts("Hello World\n")
       mov $_message, %rdi
       call puts    # <-- SEGFAULT
       pop %rbp
       ret
procend: # mark end address of the _print_hello code
       .section .rodata
_message:
       .asciz  "Hello, world\n"
_print_hello_size:
       .long procend - _print_hello

然后在 C main() 中我做(伪代码):

// Import assembler function and its size
extern "C" void _print_hello(void);
extern "C" const long _print_hello_size;
int main() {
    // Use special function that allocates Read-Write-Executable memory
    void * memexec = MallocExecutableMemory(1024);
    // Copy the binary asm blob, memexec is aligned to at least 16-bytes
    memcpy(memexec, (void*)_print_hello, _print_hello_size);

    void (*jmpfunc)(void) = (void (*)(void))memexec; 
    jmpfunc(); // Works, jumps into copied assembly func
    return 0;
}

稍后如果这甚至可能甚至不会编译 asm blob，而只是将示例程序编码在 unsigned char execblob[] = { 0xCC,0xCC,0xC3,..} 中并复制进入可执行区域。这段代码探索如何从 C 开始生成 asm。

Answer 1

也许你可以做

push %rbp
mov %rsp, %rbp
# puts("Hello World\n")
mov $_message, %rdi
mov $puts, %eax
call %eax
pop %rbp
ret

从而迫使调用成为绝对调用。问题是汇编程序是否不会出于自己的目的对其进行优化。