我发现这种方法存在几个问题：

• 不使用返回双精度值的函数 eax
• 返回结构的函数不一定使用eax，请参见此处
• 许多函数的返回值，如free, close，printf通常被忽略，因此“调用者不读取eax”不会转化为“函数没有返回值”
• 有“eax被使用”的边缘情况。例如，xor [location], eax可能意味着eax也有一个值xor eax, [location]，但xor eax, eax意味着可能没有。

在一般情况下，我认为没有万无一失的方法。例如，在一个以

for (i=0; i<somevar; i++)
    somearray[i]=0;
return i;

编译器可能只是决定使用eax循环计数器；这意味着没有理由mov在循环之后再做一次。如果调用者忽略 的值eax，则您无法仅从程序集来确定该return语句是否存在。（当然，在这种特殊情况下，任何自尊的编译器都会生成rep stosw或sse指令的变体，但您明白了）。

因此，当调用者确实read 时eax，您可以非常确定该函数具有返回值；但是忽略的调用者eax基本上没有任何意义。

并且即使调用者读取eax，您也可以构造用汇编器编写的函数的病态情况，保留eax，以及知道这一点并eax在函数调用中使用的调用者。但是您可能不会在没有故意混淆的软件中遇到这种情况

返回值由编译器使用的调用约定定义，通常仅表示“ eax/的值rax”。

在您的第一个示例中，rax没有重置，它只是设置为 value 0，因此函数很可能以 a 结尾return 0;。

在第二个例子中，你应该检查什么是对上一次写rax的bar功能。

您可以尝试检查rax函数之后的下一个操作是写入还是读取，基本上如果是读取，则使用返回值，如果是写入，则丢弃返回值。