内联的ARM64系统调用给出错误的返回值

Question

这是我的代码。

long doSystemCall(const char *path) {
    register long x0 asm("x0") = 0;
    register long x1 asm("x1") = (long) path;
    register long x2 asm("x2") = 0;
    register long x3 asm("x3") = 0;
    register long x8 asm("x8") = __NR_faccessat;

    __asm__ volatile("svc #0"
    :"=r"(x0)
    :"0"(x0), "r"(x1), "r"(x2), "r"(x3), "r"(x8)
    :"memory"
    );

    __android_log_print(ANDROID_LOG_INFO, "SYSCALL", "Result: %li", x0);

    return x0;
}

它给出的返回值为0，-2或-13，但是faccessat应该仅返回0或-1。我该如何解决？

我的代码的反编译伪代码看起来像这样。

signed __int64 __fastcall sub_E558(const char *a1)
{
  signed __int64 v1; // ST30_8
  v1 = linux_eabi_syscall(__NR_faccessat, 0, a1, 0, 0);
  __android_log_print(4LL, "SYSCALL", "Result: %li", v1);
  return v1;
}

这些是该功能的说明。

SUB             SP, SP, #0x50
STP             X29, X30, [SP,#0x40+var_s0]
ADD             X29, SP, #0x40
STUR            X0, [X29,#var_8]
MOV             X0, XZR
STUR            X0, [X29,#var_10]
LDUR            X8, [X29,#var_8]
STUR            X8, [X29,#var_18]
STR             X0, [SP,#0x40+var_20]
STR             X0, [SP,#0x40+var_28]
MOV             W9, #0x30
MOV             W8, W9
STR             X8, [SP,#0x40+var_30]
LDUR            X0, [X29,#var_10]
LDUR            X1, [X29,#var_18]
LDR             X2, [SP,#0x40+var_20]
LDR             X3, [SP,#0x40+var_28]
LDR             X8, [SP,#0x40+var_30]
SVC             0
STUR            X0, [X29,#var_10]
LDUR            X3, [X29,#var_10]
ADRP            X1, #aSyscall@PAGE ; "SYSCALL"
ADD             X1, X1, #aSyscall@PAGEOFF ; "SYSCALL"
ADRP            X2, #aResultLi@PAGE ; "Result: %li"
ADD             X2, X2, #aResultLi@PAGEOFF ; "Result: %li"
MOV             W0, #4
BL              .__android_log_print
LDUR            X8, [X29,#var_10]
STR             W0, [SP,#0x40+var_34]
MOV             X0, X8
LDP             X29, X30, [SP,#0x40+var_s0]
ADD             SP, SP, #0x50
RET

Answer 1

[您将libc包装器API与直接syscall ABI混淆了-只有libc包装器以errno返回错误。至少在Linux上，直接系统调用将返回一个较小的负值（带有错误代码）。 libc包装器将测试返回值，如果它在-4096 ..- 1范围内，则将其取反并将其存储在errno中（然后返回-1）。其他UNIX变体（BSD）在带有返回值的错误值的标志（通常为进位标志）中返回错误指示。