gdbserver_tests/mcvabits.stdinB.gdb

   1 # connect gdb to Valgrind gdbserver:
   2 target remote | ./vgdb --wait=60 --vgdb-prefix=./vgdb-prefix-mcvabits
   3 echo vgdb launched process attached\n
   4 monitor v.set vgdb-error 999999
   5 #
   6 #
   7 # insert break:
   8 break breakme
   9 #
  10 # continue till //1break:
  11 continue
  12 #
  13 # up to main:
  14 up
  15 #
  16 # print local string variables:
  17 print main_name
  18 print undefined
  19 # save address of undefined
  20 set $0xundefined = &undefined
  21 #
  22 # Verif A-bits, V-bits, Get V-bits: A,V,G [0..9]
  23 eval "monitor check_memory addressable 0x%lx 10", $0xundefined
  24 eval "monitor check_memory defined     0x%lx 10", $0xundefined
  25 eval "monitor get_vbits                0x%lx 10", $0xundefined
  26 eval "monitor xb                       0x%lx 10", $0xundefined
  27 #
  28 # continue till //2break:
  29 continue
  30 #
  31 # A,V,G [0..9] after the undefinition of some bytes by executable:
  32 eval "monitor check_memory addressable 0x%lx 10", $0xundefined
  33 eval "monitor check_memory defined     0x%lx 10", $0xundefined
  34 eval "monitor get_vbits                0x%lx 10", $0xundefined
  35 #
  36 # Redefine [2..4]
  37 set $0xundefined_2 = (char*)$0xundefined + 2
  38 eval "monitor make_memory defined 0x%lx 3", $0xundefined_2
  39 # A,V,G
  40 eval "monitor check_memory addressable 0x%lx 10", $0xundefined
  41 eval "monitor check_memory defined     0x%lx 10", $0xundefined
  42 eval "monitor get_vbits                0x%lx 10", $0xundefined
  43 #
  44 # Undefine [2..5]
  45 eval "monitor make_memory  undefined   0x%lx 4", $0xundefined_2
  46 # A,V,G [0..9]
  47 eval "monitor check_memory addressable 0x%lx 10", $0xundefined
  48 eval "monitor check_memory defined     0x%lx 10", $0xundefined
  49 eval "monitor get_vbits                0x%lx 10", $0xundefined
  50 #
  51 # noaccess [2..3]
  52 eval "monitor make_memory  noaccess    0x%lx 2", $0xundefined_2
  53 # A,V,G [0..1]
  54 eval "monitor check_memory addressable 0x%lx 2", $0xundefined
  55 eval "monitor check_memory defined     0x%lx 2", $0xundefined
  56 eval "monitor get_vbits                0x%lx 2", $0xundefined
  57 # A,V,G [2..3]
  58 eval "monitor check_memory addressable 0x%lx 2", $0xundefined_2
  59 eval "monitor check_memory defined     0x%lx 2", $0xundefined_2
  60 eval "monitor get_vbits                0x%lx 2", $0xundefined_2
  61 # A,V,G [4..9]
  62 set  $0xundefined_4 = (char*) $0xundefined_2 + 2
  63 eval "monitor check_memory addressable 0x%lx 6", $0xundefined_4
  64 eval "monitor check_memory defined     0x%lx 6", $0xundefined_4
  65 eval "monitor get_vbits                0x%lx 6", $0xundefined_4
  66 #
  67 # Definedifaddressable undefined[0..9]
  68 eval "monitor make_memory  Definedifaddressable 0x%lx 10", $0xundefined
  69 # A,V,G
  70 eval "monitor check_memory addressable 0x%lx 10", $0xundefined
  71 eval "monitor check_memory defined     0x%lx 10", $0xundefined
  72 eval "monitor get_vbits                0x%lx 10", $0xundefined
  73 #
  74 monitor v.kill
  75 quit