기본 콘텐츠로 건너뛰기

Nebula 해킹스터디 Level02

Nebula Level02

https://exploit-exercises.com/nebula/level02/

**배경 지식(문제 해결을 위한 지식과 그 외 내용도 포함)

1.buffer
버퍼(buffer)는 메모리 사용량을 확인할 떄 나온다. free라는  명령어를 쓰면 현재 메모리 사용량을 확인 할 수 있는데 그 중 buffer가 존재한다. 이는 데이타를 잠시 저장해 두는 용도로 사용하는데 예를 들어 만약 파일에서 데이터를 사용해야하는 경우가 오면 리눅스는 바로 메모리를 할당해주기 보다는 버퍼에 맡겨둔다.

2.cache
캐시(cache)는 버퍼와 마찬가지로 free라는 명령어를 사용했을 때 볼 수 있다. 캐시는 버퍼와 비슷하게 잠시 저장해 놓는 용도로 사용하지만 저장하는 건 다르다. 파일이 실행됐던 장면을 저장해 놓는데 이는 후에 다시 사용될 프로그램을 보다 빠르게 진행시키기 위해서다.

3.쉘 변수
특정 쉘에서만 실행 가능한 변수다.

4.환경 변수
쉘 변수와 다르게 모든 쉘에서 사용 가능한 변수다. 일반적으로 가장 많이 볼 수 있는 변수는 PATH이다. USER는 사용자의 이름을 담고있는 환경변수다.


**풀이




About
이 프로그램은 임의로 실행될 수 있는 프로그램을 허용하는 취약점을 가지고 있다. 

Source code
#include <stdlib.h> #include <unistd.h> #include <string.h> #include <sys/types.h> #include <stdio.h> int main(int argc, char **argv, char **envp) { char *buffer; gid_t gid; uid_t uid; gid = getegid(); uid = geteuid(); setresgid(gid, gid, gid); setresuid(uid, uid, uid); buffer = NULL; asprintf(&buffer, "/bin/echo %s is cool", getenv("USER")); printf("about to call system(\"%s\")\n", buffer); system(buffer); }

--> 소스 코드 설명
buffer라는 하나의 포인터를 만든다.
asprintf(*pointer, 문자열,...)의 형식으로 사용된다. 문자열이 포인터가 가르키는 곳으로 들어가게 된다. 여기서는 buffer가 가르키고 있는 포인터에 "/bin/echo %s is cool"이라는 문자열이 들어가는데 물론 %s에는 getenv("USER")가 들어간다.
getenv(환경변수)는 환경변수의 값을 반환해주는 함수이다. 여기선 환경변수 USER의 값을 반환한다.
printf를 통해 ""안에 있는 문자열이 출력된다.
system 함수를 통해 buffer에 담긴 문자열이 실행된다.

✨
system 을 실행할때 buffer 안에 있는 문자열 실행
<--buffer 안에 들어있는 문자열은 "/bin/echo getenv("USER") is cool" 이다.
<--"USER"의 환경변수 값을 이용하면 이를 system으로 실행시킬 수 있다.

먼저 현재 USER의 값을 알아보자.


현재 USER는 사용자의 이름인 level2를 가지고 있다.

flag02라는 프로그램을 실제 실행하면 다음과 같은 화면이 나온다.



printf문으로 about to call system("/bin/echo level02 is cool")이 출력된다.
system함수가 /bin/echo level02 is cool을 실행시켜 level02 is cool 이 출력된다.

USER의 값이 여러개 라면 가장 앞에 있는 값은 level02라고 쓰인 대신 출력되는 역활을 하고 그 뒤에 붙어있는 명령어들은  system함수에 의해 실행될 것이다. 명령어를 여러개 쓰고 싶을 때는 ;를 사용하면 된다.

**실행

about에 나와있는 계정으로 로그인을 한다. 소스 코드가 있는 디렉토리로 이동해 flag02를 실행시켜 어떤 모양으로 출력되는지 확인했다.


USER의 값을 확인한 이후 USER를 dummy;getflag라고 변경했다. 앞에 있는 dummy는 어떤 문자여도 상관 없으나 여기서는 쓰레기 값이기 때문에 dummy를 사용했다. ;를 사용해 뒤에 getflag하는 명령어를 이었다. 사용한 명령어는 export로 환경변수를 변경할 때 사용한다. 
export -->환경변수 리스트를 출력한다. 
export 환경변수='값' -->환경변수 값을 변경한다. 
export $환경변수:변수값 -->변수값을 추가한다. 





다시 flag02를 실행한다. USER의 값이 변경됐기 때문에 getflag가 실행된다. 







참고:
http://mkil.tistory.com/402
https://blog.asamaru.net/2016/01/19/centos-emptying-the-buffers-cache/
http://webterror.net/?p=1791
http://akaseon.tistory.com/50
http://infosecguide.tistory.com/92?category=652621
라벨:

댓글

댓글 쓰기

이 블로그의 인기 게시물

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. 홀수 정리 ...
댓글 쓰기
자세한 내용 보기