# Test rel32 jump instructions with abs32 and .reloc obstructions. # .text start RVA and end RVA 1000 3000 # .reloc start RVA and end RVA # Typically this won't overlap with .text. # Note: If we use 1020, then the algorithm would never encounter it, so the # .reloc does not get skipped! This edge case is not worth fixing right now. 101F 1030 # 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 00 00 00 00 call 00401008 # Overlaps with abs32 00401008: E9 00 00 00 00 jmp 0040100D # Overlaps with abs32 0040100D: 0F 80 00 00 00 00 jo 00401013 00401013: 0F 81 00 00 00 00 jno 00401019 00401019: 0F 82 00 00 00 00 jb 0040101F 0040101F: 0F 83 00 00 00 00 jae 00401025 # Overlaps with .reloc 00401025: 0F 84 00 00 00 00 je 0040102B # Overlaps with .reloc 0040102B: 0F 85 00 00 00 00 jne 00401031 # Overlaps with .reloc 00401031: 0F 86 00 00 00 00 jbe 00401037 00401037: 0F 87 00 00 00 00 ja 0040103D 0040103D: 0F 88 00 00 00 00 js 00401043 00401043: 0F 89 00 00 00 00 jns 00401049 00401049: 0F 8A 00 00 00 00 jp 0040104F # Ignored! 0040104F: 0F 8B 00 00 00 00 jnp 00401055 # Ignored! 00401055: 0F 8C 00 00 00 00 jl 0040105B # Overlaps with abs32 0040105B: 0F 8D 00 00 00 00 jge 00401061 # Overlaps with abs32 00401061: 0F 8E 00 00 00 00 jle 00401067 00401067: 0F 8F 00 00 00 00 jg 0040106D 0040106D: 5D pop ebp 0040106E: C3 ret Abs32: 1004 1008 105A # Straddles across two instruction. 105F # Same, but covers the op code (and not the target) of the second. Expected: # 1004 # 1009 100F 1015 101B # 1021 # 1027 # 102D 1033 1039 103F 1045 # 1057 # 105D 1063 # Op code 0F 8E overlaps with abs32 105F, but still okay 1069