| # 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 |
