Please consider donating: https://www.corelan.be/index.php/donate/


13,330 views

Hack Notes : ROP retn+offset and impact on stack setup

Yesterday, sickn3ss (one of the frequent visitors of the #corelan channel on freenode IRC) posted a really interesting question.

The question

While testing ROP gadgets, as part of the process of building a DEP bypass exploit for WM Downloader, he wanted to know if there is a way to predict the required padding needed to properly align/set up the stack, when a gadget is used that ends with RET + offset.

Apparently a lot of people assumed that the offset (offset to RET) needs be compensated immediately after the gadget pointer… but that’s not true.

Let’s visualize the issue & see if we can find a general rule.

Let’s say your ROP chain contains the following 3 (fake) gadgets :

  • 77C1E842 : PUSH EDI / POP EAX / POP EBP / RET
  • 77C1D7F5: ADD EAX,20 / POP EBP / RET
  • 71AA2526 : XOR EAX,EAX / INC ESI / RET

When setting up the stack with these pointers, the exploit developer has to compensate for any data that will be picked up (POP) or otherwise has to be put on the stack in order to make sure the RET (at the end of the gadget) will return to the next gadget pointer.

The example setup (using the pointers above) would look like this :

ESP 77C1E842 <- first gadget. PUSH EDI/POP EAX is followed by POP EBP.
ESP+4 DAC0FF33 <- will be popped into EBP by gadget above. These 4 bytes need to be on the stack to make sure RET will land at next pointer (at ESP+8)
ESP+8 77C1D7F5 <- second gadget. POP EBP in this gadget will pick up the next 4 bytes on the stack
ESP+C DAC0FF33 <- will be popped into EBP by gadget 77C1D7F5. RET will then land at next pointer (at ESP+10)
ESP+10 71AA2526 <- third gadget. No additional bytes are needed because nothing will be picked up from stack by this gadget
ESP+14   <- 4th gadget needs to be put here

Nothing really special here.

What happens if the gadgets end with RET + offset ? How does that impact the stack alignment / padding bytes you need to put in between 2 gadget pointers ?

The answer

Let’s say we have the following gadgets :

  • 77C1E842 : PUSH EDI / POP EAX / POP EBP / RETN + 4
  • 77C1D7F5: ADD EAX,20 / POP EBP / RETN + 8
  • 71AA2526 : XOR EAX,EAX / INC ESI / RET

The first gadget ends with RETN+4. The second gadget ends with RETN+8.  How does this impact the stack layout ?

ESP 77C1E842 <- first gadget. PUSH EDI/POP EAX is followed by POP EBP and RETN + 4
ESP+4 DAC0FF33 <- will be popped into EBP by gadget above. These 4 bytes need to be on the stack to make sure RET will land at next pointer (at ESP+8)
ESP+8 77C1D7F5 <- second gadget. POP EBP will pick up next 4 bytes. This gadget ends with RETN + 8
ESP+C 41414141 <- these are the 4 bytes needed to compensate for RET+4 in the first gadget. As you can see, the 4 bytes compensation need to be placed after the next RET instruction (so after the next gadget).
ESP+10 DAC0FF33 <- will be popped into EBP by gadget 77C1D7F5. RET will then land at next pointer (at ESP+10)
ESP+14 71AA2526 <- third gadget. No additional bytes are needed because nothing will be picked up from stack by this gadget.
ESP+18 41414141 4 bytes of padding – compensate for the first 4 bytes in RET+8 (gadget 2)
ESP+1C 41414141 4 bytes of padding – compensate for the second 4 bytes in RET + 8  (gadget 2)
ESP+20   <- 4th gadget must be placed here

Conclusion : the offset to RET must be accounted for on the stack after the next gadget pointer, and not after the current gadget pointer.

Thanks sickn3ss for popping the question & working with me to documenting the behaviour !


 

  Copyright secured by Digiprove © 2011 Peter Van Eeckhoutte

© 2011 – 2021, Peter Van Eeckhoutte (corelanc0d3r). All rights reserved.

One Response to Hack Notes : ROP retn+offset and impact on stack setup

Corelan Training

We have been teaching our win32 exploit dev classes at various security cons and private companies & organizations since 2011

Check out our schedules page here and sign up for one of our classes now!

Donate

Want to support the Corelan Team community ? Click here to go to our donations page.

Want to donate BTC to Corelan Team?



Your donation will help funding server hosting.

Corelan Team Merchandise

You can support Corelan Team by donating or purchasing items from the official Corelan Team merchandising store.

Protected by Copyscape Web Plagiarism Tool

Corelan on Slack

You can chat with us and our friends on our Slack workspace:

  • Go to our facebook page
  • Browse through the posts and find the invite to Slack
  • Use the invite to access our Slack workspace
  • Categories