Gamja's Farm

4번이다.

우선 리버싱 문제라고 먼저 먹어놓았다.

그렇다면 http://pwnablekr/bin/flag를 다운받아보자!

이제 ida로 열어보기 위해서 윈도우에 다운로드 받아보자!

분석하기 전에 string을 보기위해

ctrl+1을 눌러서 string을 보면

upx.sf.net이라는 문장이 보인다.

upx는 인코딩 또는 디코딩을 할 수 있는 프로그램으로 

https://github.com/upx/upx/releases/tag/v3.94

여기서

이 파일을 다운받아준다.

그리고 flag 파일을 디코딩을 해주고

ida로 열어보면

이렇게 flag가 나와있는 것을 볼 수있다.

3번째 pwnable문제이다!

우선 위에 적힌 것들을 다운로드 해 보자

이렇게 다운로드를 하고 난 후에

bof.c파일을 살펴보자

func()함수에 들어온 key값이 0xcafebabe 와 같으면

쉘을 얻을수 있다.

하지만 main함수에서 이미 값을 0xdeadbeef로 줘버려서

key 값을 줄수가 없다.

하지만 우리는 처음 문제를 주어질 때에 버퍼오버플로우 문제인 것을 보았다.

이때 gets함수가 여기서 문제를 풀 열쇠이다.

gets함수는 입력값을 넣어주는데 실제 코딩을 할 때에는 버퍼오버플로우 때문에 warning이 뜨는 함수이다.

우선 gdb로 보자!

이때 우리는 어디까지 버퍼오버플로우로 값을 넣어서 cafebabe와 비교할 때에

같게 되는 지를 보자.

gets 함수에서의 입력은 <+29>에서 본 ebp-0x2c이고

키값은 ebp+0x8이다.

따라서

52만큼의 차이를 채워준다면 우리는 버퍼오버플로우 된 값을

key의 값으로 넣어줄 수 있다.

따라서 52바이트를 삽입한 후에 cafebabe를 넣어주면

쉘을 얻을수 있고

flag를 실행시키면 답이 나온다!

pwnable.kr 2번문제 collision문제다.

우선 문제에 주어진

ssh col@pwnable.kr -p2222 로 들어갈 수 있다.

우선 ls -al로 안에 들어있는 파일들을 보니

이번에도 c파일인 col.c가 있다.

이것을 열어보면 hashcode와 입력값이 같으면 열리는 형식이다.

하지만 20byte여야 한다.

그래서 hashcode 값인 0x21DD09EC를 

파이썬을 열어서

5로나눈 값은 113626824이다.

하지만 정확히 5로 나누어 떨어지는지 다시 5를 곱해보면

4가 차이나는 것을 알 수 있다.

그렇기 때문에 우선 0xC8CEC506을 4개 넣고

나머지 0xCCCEC506값을 

넣어주면

flag가 출력된다.

웹문제만 풀다가 다른 부분의 지식도 알아야겠다는 생각에

시작한 pwnable.kr 이다

첫번째 문제인 fd이다

눌러보면 일단 ssh fd@pwnable.kr -p2222로 들어가라고 한다

리눅스창에서 치고

비밀번호는 guest를 치면

이 문제로 들어가 진다.

이때 ls -al로 들어가보면 우리가 찾아야 할 것 같은 flag가 있는 것을 볼 수 있다.

하지만 root권한이기 때문에 flag를 볼수는 없다.

이렇듯 퍼미션 디나인이 나온다/

그렇지만 우리의 문제는

fd문제이지 않은가

그렇기 때문에 fd를 실행 시켜보면 숫자를 입력하라고 나온다.

따라서 fd.c 파일을 보면

이런 소스를 볼 수 있다.

소스를 보면 우선 값을 입력해 주어야 하고

atoi함수가 나오는데 이것은 값을 입력할 때에 문자형을 인트형으로 변환 시켜주는 값이다.

그리고 들어온 값은 -0x1234로 빼준다.

이것이 이 문제의 핵심이라고도 볼 수 있는데

이 값이 read값의 인자로 들어간다는 것이다.

빼진 fd값이 read의 인자인데

이때 read 함수를 알아봐야 겠다.

명령어 man read를 치면

이렇게 설명이 나온다.

read함수에서

int fd는 open시스템 콜로 열린 파일을 가리키는 파일 지정번호 이고,

buf는 파일에서 읽은 데이터를 저장할 메모리 공간,

len은 읽을 데이터의 크기를 나타내 준다.

이때 항상 예약된 값이 있는데

fd가 0이면 표준 입력,

1이면 표준 출력,

2이면 표준 에러 출력을 나타낸다.

그리고 우리는 strcmp함수로 LETMEWIN값과 버퍼에 있는 값을 비교해

같으면 flag를 출력해주는 것 같다.

따라서 0x1234는 10진수로 4660이기 때문에

./fd 4660을 입력하면

다시 입력을 할 수 있게 되고

그곳에 LETMEWIN을 치면

FLAG를 얻을 수 있다.