blob: b91a56219eed85d2217e9444f3fcf4ee301df70a [file] [log] [blame]
# Test target validity: only accept target RVA in [1000, 3000).
# Processor type
x64
# .text start RVA and end RVA
1000
3000
# .reloc start RVA and end RVA
3800
4000
# End RVA
5000
# Assume ImageBase = 00400000. This does not affect the test.
Program:
00401000: 55 push ebp
00401001: 8B EC mov ebp,esp
00401003: E8 F8 EF FF FF call 00400000 # RVA start, outside .text
00401008: E8 F3 FF FF FF call 00401000
0040100D: E8 ED FF FF FF call 00400FFF # 1 byte before .text
00401012: 90 nop # Padding so E8 & E9 ...
00401013: 90 nop
00401014: E9 E7 FF FF FF jmp 00401000 # ... don't appear here.
00401019: E9 E1 FF FF FF jmp 00400FFF # 1 byte before .text
0040101E: E8 DC 1F 00 00 call 00402FFF
00401023: E8 D8 1F 00 00 call 00403000 # 1 byte after .text
00401028: 0F 87 D1 1F 00 00 ja 00402FFF
0040102E: 0F 88 CC 1F 00 00 js 00403000 # 1 byte after .text
00401034: E8 C6 3F 00 00 call 00404FFF # In image, outside .text
00401039: E8 C2 3F 00 00 call 00405000 # Outside image
0040103E: E8 BE 3F 00 00 call 00405001 # Outside image
00401043: E8 88 88 88 88 call 88C898D0 # Far away
00401048: FF 15 B1 EF FF FF call [rip-0000104F] # 003FFFFF
# 1 byte before image
0040104E: FF 15 AC EF FF FF call [rip-00401054] # 00400000
# In image
00401054: FF 15 A5 3F 00 00 call [rip+00003FA5] # 00404FFF
# 1 byte before end
0040105A: FF 15 A0 3F 00 00 call [rip+00003FA0] # 00405000
# Outside image
00401060: FF 15 00 00 00 60 call [rip+60000000] # 60401066
# Far away
00401066: FF 25 93 EF FF FF jmp [rip+FFFFEF93] # 003FFFFF
# 1 byte before image
0040106C: FF 25 8E EF FF FF jmp [rip+FFFFEF8E] # 00400000
# In image
00401072: FF 25 87 3F 00 00 jmp [rip+00003F87] # 00404FFF
# 1 byte before end
00401078: FF 25 82 3F 00 00 jmp [rip+00003F82] # 00405000
# Outside image
0040107E: 8D 05 7B EF FF FF lea eax,[rip-00001085] # 003FFFFF
# 1 byte before image
00401084: 8D 05 76 EF FF FF lea eax,[rip-0000108A] # 00400000
# In image
0040108A: 8D 05 6F 3F 00 00 lea eax,[rip+00003F6F] # 00404FFF
# 1 byte before end
00401090: 8D 05 6A 3F 00 00 lea eax,[rip+00003F6A] # 00405000
# Outside image
00401096: 5D pop ebp
00401097: C3 ret
Abs32:
Expected:
1009
1015
101F
102A
1050
1056
106E
1074 # x64 rip ignores .text boundaries (target likely in .data section).
1086
108C