기본 콘텐츠로 건너뛰기

PWN buf

PWN buf

http://pwnable.kr/index.php



일단 writeup에 나온 나온 다운로드 주소를 firefox로 가서 입력한다. 그러면 파일을 다운받겠냐는 물음이 뜨는데 이걸 저장한 후 터미널에서 열어 확인해 보면 된다. 파일은 buf라는 c언어 파일인데 어떤 프로그램인지 확인하기 위해 열었다.




일단 mian함수에서는 func라는 함수를 실행하고 끝낸다. 그럼 func라는 함수를 살펴보자.

일단 인자로 int형인 key라는 값을 가져온다. 
 overflowme라는 문자열을 입력받는다. 
key값이 0xcafebabe라면 성공이고 그렇지 않으면 실패하게 된다. 

여기서 의문인 점은 입력은 overflowme라는 문자열을 받았으면서 왜 성공의 조건은 함수의 인자로 받는 key값을 통해 결정하는냐 이다. 이것은 버퍼 오버플로우를 통해 해결할 수 있다. 버퍼 오버플로우란 메모리에서 생기는 오류 중 한 종류로 프로그램 안에서 한 데이터가 버퍼에 저장될때 지정한 용량보다 많은 메모리를 차지하게 되면서 인접 메모리까지 덮어쓰게 된다.
위 프로그램에서 확인할 수 있듯이 main함수에서 key 값은 이미 프로그램 돼있다. 여기에서 사용자가 입력할 수 있는 것은 overflowme라는 문자열 하나이기 때문에 이 문자열을 적당히 넘치게 만들어 key값이 있는 메모리에 원하는 값을 넣으면 된다.
일단 bof.c라는 프로그램이 어떻게 메모리를 활용하고 있는지 알아보기 위해서 gdb를 썼다. gdb는 리눅스에서 사용할 수 있는 디버거이다.


시스템 스택에서는 주소가 높은 곳부터 낮은 곳으로 채워진다. 처음 스택세 push ebp를 하면서 시작하는데 이는 처음 함수를 불러오는 것을 말한다. 여기서 중요한 것은 overflowme와 key가 얼마나 떨어져 있는지를 알아내는 것이다.  <+29>를 보면 overflowme 배열이 시작하는 위치가 ebp-0x2c라는 것과 <+40>부분에서 key 값이 ebp+0x8에 저장되어있다는 것을 알 수 있다. 이 둘 사이의 값은 0x8+0x2c = 0x34이다. 10진수로 변환해주면 52이니까 이 둘사이의 거리가 52만큼 떨어져 있어서 만약 overflowme에 52 카이트 이상의 데이터가 들어간다면 53 바이트부터는 key라는 변수에 저장이 된다.
그러면 이제 overflowme에 52 바이트를 넣고 그 이후에 들어가는 값이 0xcafebabe라면 key에 알맞는 수가 들어가 성공하게 된다.



python을 통해 입력해주는데 한 문자를 *52해주고 그 뒤로는 key값을 넣어준다. (리틀 인디안 방식이어서 뒤부터 2자리씩 끊어 넣어줘야 한다. ) 그리고 파이프를 통해 nc pwnable.kr 9000으로 들어가 cat flag를 통해 flag를 확인해주면 성공!!



참고:
https://ko.wikipedia.org/wiki/%EB%B2%84%ED%8D%BC_%EC%98%A4%EB%B2%84%ED%94%8C%EB%A1%9C
http://air802.tistory.com/122
http://noisivohees.tistory.com/11

라벨:

댓글

댓글 쓰기

이 블로그의 인기 게시물

C언어 - 1~100 사이의 소수 구하기

  C 문제 정수 값을 인자로 받아서 소수인지 판단하는 IsPrime 함수를 정의하고 이 함수를 이용해 1 부터 100 사이의 소수를 모두 구해서 출력하는 프로그램을 작성하시오 .   1.main 함수 만들기 IsPrime 이라는 함수에 인자를 2 부터 99 로 넣어주는 함수를 만들어야 한다 . 반복을 위해 for 함수를 사용한다 . main 함수의 타입이 int 이기 때문에 return 값을 적어줘야 함 .   2.IsPrime 함수 만들기 딱히 반환해야 할 값이 없기 때문에 타입은 void 경우를 2 가지로 나눔 . ①if  인자가 2 일 경우 --> 2 는 소수이기 때문에 2 를 출력함 ②else  인자가 2 가 아닐 경우 --> 2 부터 ( 인자 -1) 까지의 수로 인자를 나눠서 모든 경우에 나머지가 0 이 아니면 소수임 . 즉 어떤 숫자로 나눠 떨어지면 소수가 아니라는 의미로 더이상의 경우를 확인할 필요가 없음 . 따라서 반복하던 for 문을 빠져나옴 . for 문이 끝난 후 인자의 값과 count 의 값이 같다면 count 의 어떠한 숫자로도 인자가 나누어지지 못했다는 의미이다 . 이는 소수라는 뜻과 마찬가지이기 때문에 이 경우에 인자를 출력한다 .   3. 기타 출력한 후 모습을 살펴보는데 IsPrime 에서의 출력이 숫자 끝에 콤마 (,) 가 붙기 때문에 모든 출력이 끝나도 마지막 숫자 뒤에 콤마가 붙어 있다 . 이를 없애기 위해서는 이스케이프 문자 ‘\ b’ 를 사용했다 . 출력 화면이 더 편하게 보이도록 ‘\b\n’ 를 썼으나 이럴 경우 '\b' 의 효과가 사라졌다 . ‘\b\b\n’ 처럼 사용했으나 결과는 역시나 \ n 의 효과만 나타날 뿐 \ b 의 효과는 없었다 . 이를 해결하기 위해 구글링도 했지만 적절한 답을...
댓글 쓰기
자세한 내용 보기

C언어 - 입력받은 숫자의 이진수 표현에서 1의 개수를 세는 코드를 짜기

C 언어 문제: 입력받은 숫자의 이진수 표현에서 1의 개수를 세는 코드를 짜기 이 문제를 해결하기 위해서는 시프트 연산자에 대해 알아야 한다. 컴퓨터에서는 숫자를 2진수로 표현하는데 정수는 32비트로 나타낸다. 가장 앞쪽에 있는 비트는 음수와 양수를 구분해 주는 비트이고 이 이하가 숫자를 의미한다. 시프트 연산자는 숫자를 이진수로 표현했을 때 연산을 편리하게 해 주는 연산자이다. 연산자에 대해 자세히 알고 싶으면 ( http://rockykim5581.tistory.com/19 )을 참고하길 바란다. 여기에서는 필요한 부분만 다룰 예정이다. 1. 숫자 입력받기 입력한 숫자를 변수에 대입해야 한다. 2.입력한 숫자의 이진수 표현에서 1의 개수 구하기 이진수에서도 비교 연산자를 사용할 수 있다. AND를 의미하는 &는 두 수가 모두 1일 때만 1(참)을 나타낸다. 이 성징을 이용하면 입력받은 숫자의 이진수를 셀 수 있다. 비트는 1부터 31가지 비교해야 한다.(32비트-사인비트-는 제외) 이 과정을 하기 위해서는 반복문이 필요하다. 여기서는 조건과 초기화, 반복후 실행하는 문이 있어서 for를 사용했다. 비교는 입력은 숫자(이진수 표현)의 n번째(이는 0아니면 1이다)와  n번째가 1인 숫자를 &으로 비교해서 둘 다 모두 1인 경우만 count라는 변수를 하나씩 올려준다. 그러면 입력받은 수의 이진수 표현 1을 셀 수 있게된다. 그러면 n번째가 1이라는 숫자를 어떻게 만들까? 이는 변수(one)를 하나 잡아 반복문의 실행에 따라 1을 시프트 연산자로 이동시킨 수를 대입한다. 예를 들어 처음일 때는 입력받은 수와 1을 옯기지 않은 상태로 비교, 두번째 자리를 비교할 땐 입력받은 수와 1을 한칸 옮긴 상태로 비교하는 식이다. 여기서 주의해야 할 점은 (비교하려는 자리의 수-1)만큼 시프트 연산자로 밀어줘야 한다는 것이다. 1이 한 자리도 차지하기 때문이다. <전체 코드> ...
댓글 쓰기
자세한 내용 보기

C언어 - 입력된 정수 홀수와 짝수로 나눠 크기순으로 출력하기

2 번째 주 - C 언어 문제 길이가 10 인 배열을 만들고 그 배열에 10 개의 정수를 입력 받는다 . 이 때 입력받은 정수가 홀수면 배열의 앞부터 채워나가고 짝수면 배열의 맨 뒤에서부터 채워나가는 프로그램을 만들어라 .( 정수는 항상 10 개를 모두 입력한다고 가정한다 .) 실행화면 조건 1. int arr[10], i, num[10];// arr = 짝수 홀수 정리할 배열 , num = 숫자 입력 배열 \ 2.int lennum =() ; // 배열 num 의 크기 , 배열 입력받을 때 for 문에서 10 으로 하지말 고 lennum 사용해서 받을 것 int lenarr =(); // 배열 arr 의 크기 , {1,3,5,7,9,1,8,6,4,2} 형식을 위해 사용 -->hint: sizeof 사용 3.lenarr 출력 포맷을 위 사진과 동일하게 만들기 위해 사용한다 . 처음과 끝은 { 과 } 를 사용하고 마지막 숫자 뒤에는 콤마가 없어야 한다 . -->hint: if 문 사용   < 풀이 > 코드는 총 4 부분으로 나뉜다 . 입력 받기 , 홀수 정리 , 짝수 정리 , 출력 .   1. 입력받기 입력 받기 위해 for 문을 사용해서 반복한다 . 여기서 조건을 만족시키기 위해 lennum 을 구해야 한다 . siezof 크기를 알려주는 함수인데 단순히 sizeof(num) 을 한다면 10 이 나오지 않는다 . 40 이 나올 것이다 . 이는 배열이 가진 인덱스 X 타입형의 크기 값이 총 배열의 크기이기 때문이다 . 따라서 lennum 을 구하기 위해서는 다음과 같이 해야 한다 . lennum = sizeof (num) / sizeof ( int ); for 문 안에서는 scanf 를 사용해 입력한 숫자를 num 배열에 넣는다 . 입력받기 코드   2. 홀수 정리 ...
댓글 쓰기
자세한 내용 보기