src/native_client/src/trusted/validator_x86/testdata/64/mv_ebp_alone.test

   1 @hex:
   2   # Test that we don't accept "mov %ebp, %r11d" if not followed by an "add %rbp %r15"
   3   44 89 dd
   4
   5 @val:
   6   VALIDATOR: 0000000000000000: 44 89 dd                                     mov %ebp, %r11d
   7   VALIDATOR: ERROR: Illegal assignment to EBP
   8   VALIDATOR: Checking jump targets: 0 to 3
   9   VALIDATOR: Checking that basic blocks are aligned
  10   *** <input> IS UNSAFE ***
  11 @rval:
  12   VALIDATOR: 0000000000000000: 44 89 dd                                     mov %ebp, %r11d
  13   VALIDATOR: ERROR: Illegal assignment to EBP
  14   VALIDATOR: Checking jump targets: 0 to 3
  15   VALIDATOR: Checking that basic blocks are aligned
  16   *** <input> IS UNSAFE ***
  17 @rvald:
  18   VALIDATOR: 0000000000000000: 44 89 dd                                     mov %ebp, %r11d
  19   VALIDATOR: ERROR: Illegal assignment to EBP
  20   VALIDATOR: Checking block alignment and jump targets: 0 to 3
  21   *** <input> IS UNSAFE ***
  22 @vd-rval:
  23   VALIDATOR: 0000000000000000: 44 89 dd                                     mov %ebp, %r11d
  24   VALIDATOR: ERROR: Illegal assignment to EBP
  25   VALIDATOR: Checking jump targets: 0 to 3
  26   VALIDATOR: Checking that basic blocks are aligned
  27   *** <input> IS UNSAFE ***
  28 @dis:
  29   0000000000000000: 44 89 dd                                     mov %ebp, %r11d
  30 @vdis:
  31   0000000000000000: 44 89 dd                                     mov %ebp, %r11d
  32 @rdfa_output:
  33   3: [0] improper %rbp sandboxing
  34   return code: 1
  35 @validators_disagree:
  36   Same problem reported in different ways.
  37   errors reported by old validator but not by rdfa one:
  38     0x0
  39   errors reported by rdfa validator but not by old one:
  40     0x3