Open H4ckF0rFun opened 6 months ago
And in fact, it is not necessary to determine whether the end is reached based on whether the virtual address of the next block is 0 or not. directory_size and the size of each block are enough to tell if the end is reached.
Bug
The end cannot be determined based on whether the Virtual Address of the next IMAGE_BASE_RELOCATION is 0 or not. In fact, it is possible that the next IMAGE_BASE_RELOCATION exceeds the size of the entire directory. The data it contains is completely uncertain.
Instead, use directory size to determine if you've reached the end.
Sample:
By the time you get to the end, you have exceeded the size of the entire relocation table, and the memory after that is invalid, which will cause an exception if you use the Virtual Address
Why does this approach work most of the time?
The secetion in which the relocation table is located is page aligned, and in most cases there is memory for alignment behind the relocation table, which is filled with 0x00.