Question

我正在尝试学习汇编，并且有一个AT＆amp; T语法的程序，用于GNU AS我认为应该可以使用。我收到GDB的错误：

Program received signal SIGSEGV, Segmentation fault.
.PROGRAM () at concatenator.s:60
60              call    strlen
Current language:  auto; currently asm

代码是：

.file "concatenator.s"
.globl _start
.section .text
strlen:
 mov %esp, (str1)
 push %ebx
 push %ecx
 push %edx

        mov $1, %edi
        sub     %ecx, %ecx
        sub     %al, %al
        not     %ecx
        cld
        repne   scasb
        not     %ecx
        dec     %ecx
 mov %ecx, %eax



 pop %edx
 pop %ecx
 pop %ebx
 leave
 ret
write:
 push %eax
 push %ebx
 push %ecx
 push %edx
 mov %eax, %ecx
 mov $4, %eax
 mov $4, %edx
 mov $2, %ebx
 int $0x80
 pop %edx
 pop %ecx
 pop %ebx
 pop %eax
 ret

.globl concatenate
concatenate:
 pop %eax
 mov %eax, (str2)
 pop %eax
 mov %eax, (str1)
 push  %ebx
 push %ecx
 push %edx
        pushl   %ebp#Pushes Previous programs local vars to the stack.
        movl    %esp, %ebp
        subl    $24, %esp
.PROGRAM:
        movl    (str1), %esp#Moves str1 to ESP
 call    strlen#//Strlen counts len of ESP
        movl    %eax, -16(%ebp)#//Moves eax[Return] into ebp[-16](len)
        movl    $str2, (%esp)#//Moves str2 to ESP
        call    strlen#//Counts len of ESP
        subl    $1, %eax#//Removes one from the return value
        movl    %eax, -12(%ebp)#//Stores return in INT len2
        //movl  -12(%ebp), %eax
        movl    %eax, -8(%ebp)#//Stores return in INT J
        movl    $0, -4(%ebp)##//INT X = 0
        jmp     .L7
.L8:
        addl    $1, -8(%ebp)#//ADDS 1 to J
        movl    -8(%ebp), %eax#//Moves J to EAX
        movl    -4(%ebp), %edx#//MOVES X TO EDX
        movzbl  str1(%edx), %edx#//Moves str1[EDX] (EDX is X) to EDX and fills wit null
        movb    %dl, str2(%eax)#//Moves one byte, (Tbhe character we just copied) into str2 [EAX]
        addl    $1, -4(%ebp)#//INT X++
.L7:
        movl    -4(%ebp), %eax#//Moves INT X to EAX
        cmpl    -16(%ebp), %eax#//Compares len with EAX
        jl      .L8#//While below length of string one, go to L8 and copy str1 to str2
        addl    $1, -8(%ebp)#//Adds one to J(J++)
        movl    -8(%ebp), %eax#//Moves J to EAX
        movb    $0, str2(%eax)#//Adds null character to string at position J.
.RETURN:
 leave
        pop %edx
 pop %ecx
 pop %ebx
 mov (str2), %eax
 ret

_start:
push str1
push str2
call concatenate
mov %eax, str2 
mov $1, %eax
mov $0, %ebx
int $0x80


.globl str1
.section .data
str1:
        .string "DEF"
        .zero   252
str2:
        .string "ABC"
        .zero   252

有什么我真的显然做错了吗？你会推荐哪些资源来学习装配？（我已阅读了WikiBooks X86大会文章和大部分GAS手册）。

Answer 1

此：

movl    (str1), %esp

可能是导致崩溃的直接原因。我从未使用过在％esp中传递参数的x86系统;一般来说，％esp必须始终保持有效的堆栈指针。在许多系统上，它必须在呼叫指令时另外满足一些对齐保证。

我假设您打算将str1的内存内容移动到％esp指向的内存位置，但这不是它的作用。您应该能够通过逐个指令逐步执行调试程序中的程序执行来查看。这是学习编写汇编的重要技能，可以帮助您自己找到这样的问题。

Answer 2

除了stephentyrone的回答之外，我建议您编译一个用gcc -S调用strlen的C程序，并观察生成的.s文件，以获得系统上正确的调用约定（正如他所说，传递值在％esp中不是它。我本来期望在％eax中传递一个参数但是已经有一段时间了，我一直在使用amd64 ABI，所以我可能会感到困惑。）

Answer 3

将参数传递给子例程的一种相当正常，安全的方法是将参数值压入堆栈。

稍微快一点的方法是将参数值移动到寄存器中：但不是，正如stephen所说，esp寄存器（push，pop，call和ret操作码假设esp包含指向堆栈的指针）。

x86汇编，误导性错误

3 个答案: