【问题标题】:Assembly, x86: How to push a label to the stack?大会,x86:如何将标签推送到堆栈?
【发布时间】:2018-06-23 07:09:15
【问题描述】:

给定数据:

.section data
data_set:
.long 2,5,33,54,2,76,4,37,43,223,98,70,255

如何将数据的起始地址(而不是该地址中的值)推入堆栈?

我试过了:

pushl data_set

最终(在尝试访问此地址中的数据之后)导致了段错误。

【问题讨论】:

  • 你试过了吗?
  • 为什么不尝试在调试器下执行这段代码,看看会发生什么?
  • @talz 尝试使用调试器来了解控制流并查看 cde 崩溃的位置。

标签: assembly x86 att addressing-mode


【解决方案1】:

在 AT&T 语法中,要将地址用作指令的立即操作数,请使用 $label

您希望 pushl $data_set 用于 push imm32 指令。,就像您希望 push $123 一样。

pushl data_set 将推送从地址data_set 加载的数据的双字,即
push m32


从概念上讲,AT&T 语法将所有内容都视为潜在地址。所以label 是一个地址,0x123 也是。所以add 0x123, %eax从地址0x123加载,add label, %eax从地址label加载。当你想要一个数字作为直接操作数时,你使用add $0x123, %eax。使用符号地址作为立即操作数的工作方式相同。

无论哪种方式,地址都被编码到指令中,这只是一个问题,即它是作为立即数还是作为寻址模式中的位移。这就是为什么你使用
add $(foo - bar), %eax 来添加两个符号之间的距离,而不是
add $foo-$bar, %eax(它会寻找一个名为$bar 的符号,即$ 是符号名称的一部分)。 $ 适用于整个操作数,而不适用于符号/标签名称。相关:more about assemble-time math in GAS

在其他情况下,例如作为.long.quad 的操作数,不存在直接操作数与内存操作数的问题,因此您只需编写dataptr: .long data_set 以发出包含data_set 地址的4 字节数据,就像您从C @ 得到的一样987654346@


您可以通过查看 C 编译器输出来检查语法

void ext(int*);
static int data[] = {1,2,3};
void foo() {
    ext(data);
}

让 C 编译器发出将符号地址传递给函数的代码。我把它放在the Godbolt compiler explorer 上,它确实使用了pushl $data

【讨论】:

  • 技术上label 始终是一个地址。 $ 只是选择带有立即数的指令编码。例如。如果你想要两个标签 foobar 的区别,你会做 $foo-bar 而不是 $foo-$bar (这也恰好组装没有错误,但引用符号 foo$bar )。
  • @Jester:好的,谢谢,重写我的答案以使概念正确。 $ 适用于整个操作数,而不是标签名称。不久前我就想到了这一点,但显然还没有理解它。
猜你喜欢
  • 2014-08-04
  • 1970-01-01
  • 1970-01-01
  • 2018-03-27
  • 2016-05-31
  • 1970-01-01
  • 2019-04-26
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多