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
10 # continue till //1break:
16 # print local string variables:
19 # save address of undefined
20 set $0xundefined = &undefined
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
27 # continue till //2break:
30 # A,V,G [0..9] after the undefinition of some bytes by executable:
31 eval "monitor check_memory addressable 0x%lx 10", $0xundefined
32 eval "monitor check_memory defined 0x%lx 10", $0xundefined
33 eval "monitor get_vbits 0x%lx 10", $0xundefined
36 set $0xundefined_2 = (char*)$0xundefined + 2
37 eval "monitor make_memory defined 0x%lx 3", $0xundefined_2
39 eval "monitor check_memory addressable 0x%lx 10", $0xundefined
40 eval "monitor check_memory defined 0x%lx 10", $0xundefined
41 eval "monitor get_vbits 0x%lx 10", $0xundefined
44 eval "monitor make_memory undefined 0x%lx 4", $0xundefined_2
46 eval "monitor check_memory addressable 0x%lx 10", $0xundefined
47 eval "monitor check_memory defined 0x%lx 10", $0xundefined
48 eval "monitor get_vbits 0x%lx 10", $0xundefined
51 eval "monitor make_memory noaccess 0x%lx 2", $0xundefined_2
53 eval "monitor check_memory addressable 0x%lx 2", $0xundefined
54 eval "monitor check_memory defined 0x%lx 2", $0xundefined
55 eval "monitor get_vbits 0x%lx 2", $0xundefined
57 eval "monitor check_memory addressable 0x%lx 2", $0xundefined_2
58 eval "monitor check_memory defined 0x%lx 2", $0xundefined_2
59 eval "monitor get_vbits 0x%lx 2", $0xundefined_2
61 set $0xundefined_4 = (char*) $0xundefined_2 + 2
62 eval "monitor check_memory addressable 0x%lx 6", $0xundefined_4
63 eval "monitor check_memory defined 0x%lx 6", $0xundefined_4
64 eval "monitor get_vbits 0x%lx 6", $0xundefined_4
66 # Definedifaddressable undefined[0..9]
67 eval "monitor make_memory Definedifaddressable 0x%lx 10", $0xundefined
69 eval "monitor check_memory addressable 0x%lx 10", $0xundefined
70 eval "monitor check_memory defined 0x%lx 10", $0xundefined
71 eval "monitor get_vbits 0x%lx 10", $0xundefined