Início / coding / Perguntas / 79028860
Accepted
pietro balestri
Asked: 2024-09-27 03:28:51 +0800 CST

Por que recebo o erro `** stack smashing detected **`?

  • 772

Estou tentando vincular esta função de montagem com este código c++:

.text 

.global _Z7scambiaRiS_

_Z7scambiaRiS_:
    pushq %rbp
    mov %rsp, %rbp

    mov (%rdi), %rax
    mov (%rsi), %rcx
    mov %rcx, (%rdi)
    mov %rax, (%rsi)

    leave
    ret

.data

#include <iostream>

void extern scambia(int &a, int &b);

int main()
{ 
    int a, b;
    std::cin>>a>>b;
    std::cout<<"a: "<<a<<" b: "<<b<<"\n";
    
    scambia(a, b);

    std::cout<<"a: "<<a<<" b: "<<b<<"\n";
    
    return 0;
};

O assembly é uma versão intel x86-64.

O programa funciona, mas depois para com falha de segmentação. Aqui está a saída, fornecida como entrada 3 4:

3 4 
a: 3 b: 4
a: 4 b: 3
*** stack smashing detected ***: terminated
Aborted (core dumped)

Eu realmente não entendo como consegui comprometer a pilha, e mesmo depurando com o gdb não consegui descobrir o que deu errado

c++

1 respostas

  1. Best Answer

    scambiaé declarado como tendo referências a int, que é 4 bytes nesta plataforma. No entanto

        mov (%rdi), %rax
    mov (%rsi), %rcx
    mov %rcx, (%rdi)
    mov %rax, (%rsi)

    está fazendo cargas e armazenamentos de 8 bytes, porque raxe rcxsão registradores de 64 bits. Então cada um deles escreve 4 bytes além do intque você passou, o que significa que outro espaço de pilha é sobrescrito, disparando o detector de quebra de pilha.

    Para usar a função de montagem como está, ela deve ser declarada em C++ como recebendo referências a int64_tou algum outro tipo de 64 bits, e os tipos a,bajustados adequadamente. ( long inté de 64 bits em muitas plataformas x86-64, mas não em todas).

    Para manter a declaração como troca de dois ints, altere o código assembly para usar registradores de 32 bits para os dados que estão sendo movidos de e para a memória:

        mov (%rdi), %eax
    mov (%rsi), %ecx
    mov %ecx, (%rdi)
    mov %eax, (%rsi)

    Observe que rdie rsidevem permanecer como estão, pois são ponteiros, que são 64 bits.

    • 8

relate perguntas