[Bug target/96191] New: aarch64 stack_protect_test canary leak

wilson at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Tue Jul 14 02:49:26 GMT 2020


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96191

            Bug ID: 96191
           Summary: aarch64 stack_protect_test canary leak
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: wilson at gcc dot gnu.org
  Target Milestone: ---

Given a simple testcase
extern int sub (int);

int
main (void)
{
  sub (10);
  return 0;
}
commpiling with -O -S -fstack-protector-all -mstack-protector-guard=global
in the epilogue for the canary check I see
        ldr     x1, [sp, 40]
        ldr     x0, [x19, #:lo12:__stack_chk_guard]
        eor     x0, x1, x0
        cbnz    x0, .L4
Both x0 and x1 have the stack protector canary loaded into them, and the eor
clobbers x0, but x1 is left alone.  This means the value of the canary is
leaking from the epilogue.  The canary value is never supposed to survive in a
register outside the stack protector patterns.

A powerpc64-linux toolchain build with the same testcase and options generates
        lwz 9,28(1)
        lwz 10,0(31)
        xor. 9,9,10
        li 10,0
        bne- 0,.L4
and note that it clears the second register after the xor to prevent the canary
leak.  The aarch64 stack_protect_test pattern should do the same thing.


More information about the Gcc-bugs mailing list