122 lines
2 KiB
Text
122 lines
2 KiB
Text
NAME=aes help changing seek
|
|
FILE==
|
|
CMDS=<<EOF
|
|
wx 55
|
|
e asm.arch=x86
|
|
e asm.bits=32
|
|
aes
|
|
sr PC
|
|
s
|
|
EOF
|
|
EXPECT=<<EOF
|
|
0x1
|
|
EOF
|
|
RUN
|
|
|
|
NAME=cmd.esil.intr unset
|
|
FILE==
|
|
CMDS=<<EOF
|
|
wx b8010000000f34b801000000cd80ebfe
|
|
10aes
|
|
EOF
|
|
EXPECT=<<EOF
|
|
EOF
|
|
RUN
|
|
|
|
NAME=aes without initialize
|
|
FILE==
|
|
CMDS=<<EOF
|
|
e asm.arch=x86
|
|
e asm.bits=32
|
|
wx bb10000000 # mov ebx, 10
|
|
aes
|
|
ar~ebx
|
|
EOF
|
|
EXPECT=<<EOF
|
|
ebx = 0x00000010
|
|
EOF
|
|
RUN
|
|
|
|
NAME=dtel
|
|
FILE=bins/elf/ls
|
|
CMDS=<<EOF
|
|
s main
|
|
aei
|
|
aeim
|
|
6aes
|
|
s `arq rip`
|
|
ar
|
|
pd 4
|
|
aets+
|
|
4aes
|
|
(ar reg; ar ${reg})
|
|
..(ar rbx rdi rip rflags rsp)
|
|
echo qword[0x0] = `pv8 @ 0`
|
|
echo
|
|
dtel
|
|
EOF
|
|
EXPECT=<<EOF
|
|
rax = 0x0000000000000000
|
|
rbx = 0x0000000000000000
|
|
rcx = 0x0000000000000000
|
|
rdx = 0x0000000000000000
|
|
rsi = 0x0000000000000000
|
|
rdi = 0x0000000000000000
|
|
r8 = 0x0000000000000000
|
|
r9 = 0x0000000000000000
|
|
r10 = 0x0000000000000000
|
|
r11 = 0x0000000000000000
|
|
r12 = 0x0000000000000000
|
|
r13 = 0x0000000000000000
|
|
r14 = 0x0000000000000000
|
|
r15 = 0x0000000000000000
|
|
rip = 0x000000000000407b
|
|
rbp = 0x0000000000000000
|
|
rflags = 0x0000000000000000
|
|
rsp = 0x0000000000177fd8
|
|
;-- rip:
|
|
0x0000407b push rbx
|
|
0x0000407c mov rbx, rsi
|
|
0x0000407f sub rsp, 0x58
|
|
0x00004083 mov rdi, qword [rsi]
|
|
rbx = 0x0000000000000000
|
|
rdi = 0x00010102464c457f
|
|
rip = 0x0000000000004086
|
|
rflags = 0x0000000000000004
|
|
rsp = 0x0000000000177f78
|
|
qword[0x0] = 0x00010102464c457f
|
|
|
|
0.addr=0x407b
|
|
0.reg.read=rsp,rbx
|
|
0.reg.read.rsp=0x177fd8
|
|
0.reg.read.rbx=0
|
|
0.reg.write=rsp
|
|
0.reg.write.rsp=0x177fd0
|
|
0.mem.write=0x177fd0
|
|
0.mem.write.data.0x177fd0=0000000000000000
|
|
1.addr=0x407c
|
|
1.reg.read=rsi
|
|
1.reg.read.rsi=0
|
|
1.reg.write=rbx
|
|
1.reg.write.rbx=0
|
|
2.addr=0x407f
|
|
2.reg.read=rsp
|
|
2.reg.read.rsp=0x177fd0
|
|
2.reg.write=rsp,of,sf,zf,pf,cf,af
|
|
2.reg.write.rsp=0x177f78
|
|
2.reg.write.of=0
|
|
2.reg.write.sf=0
|
|
2.reg.write.zf=0
|
|
2.reg.write.pf=1
|
|
2.reg.write.cf=0
|
|
2.reg.write.af=0
|
|
3.addr=0x4083
|
|
3.reg.read=rsi
|
|
3.reg.read.rsi=0
|
|
3.mem.read=0x0
|
|
3.mem.read.data.0x0=7f454c4602010100
|
|
3.reg.write=rdi
|
|
3.reg.write.rdi=0x10102464c457f
|
|
idx=3
|
|
EOF
|
|
RUN
|