[SOLVED] COMP8050 Assignment 1 Binary Exploits & Theory Qs

For this assignment, we will use the C program provided below, assignment1.c . Compile it with the usual command:

gcc -g -O0 -mpreferred-stack-boundary=2 -m32 -fnostack-protector -z execstack -D_FORTIFY_SOURCE=0 assignment1.c o assignment1.o

Also ensure that you have disabled ASLR:

sudo sysctl -w kernel.randomize_va_space=0

If you have not already done so in the labs, you may need to install the following packages first too:

sudo apt-get install libc6-dev libc6-dev-i386 gcc-multilib

Question 1

question1.c:

24. int main(int argc, char **argv)
25. {
26. vuln();
27. }

What you must do:

You must perform an attack on the program and cause it to output both Achieved 1/2! and Achieved 2/2! from the functions patrialwin() and fullwin(), in that order, in a single run of the program.. You must document your approach clearly in the following way:

• Provide a large paragraph, or two, which gives a high-level description of the approach you intend to take in order to achieve your attack. It should be clear and concise. If you started with one approach, but swapped midway to another after realising something, describe both the initial idea and your final one here too.

• Show step-by-step how you performed your attack. You should include screenshots of your input/output (e.g. using the Windows snipping tool) and provide short comments explaining why you did each action. For example:

Sample Command (should be screenshotted with the output included): x24x $esp Sample explanations for why:

I used it to show the stack. (BAD this is what you did, not why you did it)

I used it to show the contents of 24 addresses on the stack, in order to identify the exact location of the buffer and calculate how much overflow was necessary to write over the saved base pointer. (GOOD! here the purpose of using a command to show the stack is explained!)

• You must include a detailed diagram of the current state of the stack at each major step, starting from the initial state before your attack begins. The diagrams should show all of the relevant elements on the stack (similar to those provided in the lecture notes).

• You must show how you would change the code to fix all the vulnerabilities in the program. Provide a brief description of why your changes fix the issues.

Question 2

question2.c:

What you must do:

You must perform an attack on the program and cause it to run line 20 and output Perfect grade attained!. As you can see, the securegrading() function is not normally called at all, so some form of redirection will be necessary. You must document your approach clearly in the following way:

• Provide a large paragraph, or two, which gives a high-level description of the approach you intend to take in order to achieve your attack. It should be clear and concise. If you started with one approach, but swapped midway to another after realising something, describe both the initial idea and your final one here too.

• Show step-by-step how you performed your attack. You should include screenshots of your input/output (e.g. using the Windows snipping tool) and provide short comments explaining why you did each action. For example:

Sample Command (should be screenshotted with the output included): x24x $esp Sample explanations for why:

I used it to show the stack. (BAD this is what you did, not why you did it)

I used it to show the contents of 24 addresses on the stack, in order to identify the exact location of the buffer and calculate how much overflow was necessary to write over the saved base pointer. (GOOD! here the purpose of using a command to show the stack is explained!)

• You must show how you would change the code to fix all the vulnerabilities in the program. Provide a brief description of why your changes fix the issues.
• Question 3
• Provided a detailed description of Address Space Layout Randomization (ASLR), explaining what it is, as well as its effectiveness and limitations as a security solution.

1. Evaluate whether or not ASLR is an effective defence against Stack Buffer Overflow Attacks (a.k.a. Stack Smashing).
2. Evaluate whether or not ASLR is an effective defence against Format String Attacks.

• Provided a detailed description of a Non-executable Stack, explaining what it is, as well as its effectiveness and limitations as a security solution.

1. Evaluate whether or not a Non-executable Stack is an effective defence against Stack Buffer Overflow Attacks (a.k.a. Stack Smashing).
2. Evaluate whether or not a Non-executable Stack is an effective defence against Format String Attacks.

Question 4

• Thoroughly describe what is meant by a Structured Exception Handler (SEH) Attack, including the risks posed for a program vulnerable to this type of attack.

• Explain what Structured Exception Handling Overwrite Protection (SEHOP) is and clearly show how it protects against SEH Attacks.