Index: courgette/testdata/rel32_x64_03.txt |
diff --git a/courgette/testdata/rel32_x64_03.txt b/courgette/testdata/rel32_x64_03.txt |
new file mode 100644 |
index 0000000000000000000000000000000000000000..5a1c12cf8ba6206459f8297e34e434b33038fc4b |
--- /dev/null |
+++ b/courgette/testdata/rel32_x64_03.txt |
@@ -0,0 +1,74 @@ |
+# 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 Not yet detected. |
+# 108C Not yet detected. |