Testing Code

2019. 11. 23. 01:53

보호되어 있는 글입니다.
내용을 보시려면 비밀번호를 입력하세요.

주제 : Webhacking Study - Binary search with filtering
날짜 : 2019.10.10
작성자 : Sakuya Izayoi

1. 개요 및 목적
Blind SQL Injection과 Binary Search를 사용한 효율적인 Injection방법을 알아보고, 각종 필터링을 우회할수 있는 방법에 대해 정리한다.

2. 내용
Blind SQL injection은 True/False를 기준으로 다르게 리턴되는 값을 보고 판단하여 한글자씩 (혹은 n byte씩) 값을 추출해 내는 SQL injection 기법이다.
우선 웹서비스 점검 및 CTF 상황에서 Blind SQL이 필요한 상황인지 판단하는 나만의 근거는 아래와 같다.

    - Injection을 통해 내가 원하는 문자열을 출력할수 없을때
    - Login시도와 같이 yes / no 의 상황만 알수 있을때

보통은 첫번째의 조건으로 판단하는 경우가 많다. 내가 원하는 문자를 출력할수 없다면, time based가 되었건, 기초적인 blind가 되었건 문자열을 가져오거나
출력할 다른 방법에 대해서 강구해야 한다. Blind SQL Injection과 관련해서는 예전문서3. Blind SQL Injection 탭에 적어놓은것이 있으니 참고 바란다.

Blind SQL Injection은 그 특성상 원하는 정보를 가져오는데 시간이 오래걸린다. 비효율적으로 짜면 한글자당 O(n)의 시간이 걸리고, 서버의 상태 및  네트워크 상황에 따라 더 오래 걸릴수도 있다.
또한 서버에는 수많은 로그를 남기게 될것이고, 이것은 서버운영자가 반가워할 상황은 아니다. 때문에 좀더 작은 움직임으로 원하는 정보를 얻어오기 위해서 Binary Search를 활용해보자.

3. Binary Search
Bianry search는 '이진탐색' 이라는 이름으로 알려진 탐색 알고리즘중 하나이다. 간단하게 선요약하자면 술자리에서 종종하는 up and down 게임과 같은 것이다.



up and down 게임에서 '8' 이라는 값을 찾기 위해서 순서대로 1,2,3,4,5,6,7,8 이라고 물어볼수 있지만 술게임을 조금 해본자라면 '5' 를 먼저 부를것이다.
도전자가 5 라고 부른 뒤 'up' 이라는 답변을 얻는다면 1-5를 부르는 사람은 없어진다.



이제 남은건 6-10 중 하나의 값이다. 여기서 가운데값인 '8'을 불러서 단번에 정답을 맞출수 있지만, '9'을 불렀다고 가정해보자.
도전자가 9을 부른뒤 'down' 이라는 답변을 얻는다면 역시 9-10 을 부르는 사람은 없어진다.



이제 남은건 6-8 중 하나의 값이 되고, 여기서 가운데 값인 7을 부른다면 'up' 이라는 대답을 얻게되고
결과적으로 남은 값인 8이 찾는값이란걸 알게된다.

8을 찾기위해 8번 시도하는 O(N)의 방법에 비해 이 과정은 더 짧게 (O(log₂N)) 끝이난다.
일반적으로 1byte씩 가져오게 되는 blind SQL에서는 1byte의 최대값인 0xff이고 하나의 문자열을 가져오는데 8회 질의 하는것으로 끝이나게 된다.
이 과정을 개략적으로 파이썬으로 짜면 아래와 같다.


def binsearch():
	ret = ""
	for idx in range(1,target_length+1):
		TOP = 0xff # 0x80
		BOT = 0x00 # 0x20
		while(1):
			mid = math.floor((TOP+BOT)/2)
			if TOP-BOT ==1:
				ret += chr(mid)
			result = sendData(something_Query)
			if TrueCondition in result:
				BOT = mid
			else:
				TOP = mid
	return ret

크게 어렵지 않게 구현할수 있고, 이를 활용하면 좀더 빠르게 값을 얻어올수 있다.
하지만 이는 간단히 사용할수 있는 Blind SQL Injection 보다는 조건이 조금 더 필요하다. 

4. With Filtering
Blind SQL Injection으로 방향을 잡고 점검을 하다보면 터무니 없는 필터링을 발견하기도 한다.
자기소개서 특수문자 쓰지마시오에 대한 이미지 검색결과
(본 그림은 참고를 위한것이며, 실제 테스트 및 점검에 사용된 사이트가 아닙니다.)

이러한 필터링중에는 XSS를 같이 방어하는 차원에서 <. > 와 같은 대소비교 문자열을 막을때도 있다.
이외에도 주석처리를 위한 -, # 등과 같은 문자나 =과 같은 등호, 숫자로의 변환이 불가능하게 ord, ascii 등을 막은것도 종종 보인다.
이러한 상황에서 단순 Blind SQL Injection 말고 방법이 없다고 판단하고 like 문자열이나 regexp 같은 정규표현식을 통한 O(N)의 방법을
채택하는것은 일반적인 사고의 흐름이다. 그래서 조금 더 튀는 방향으로 생각해 보기로했다.




이와같은 소스를 점검한다고 하자. 200회 쿼리를 날리면 더이상 날리지 못하는 코드다.
물론 $_SESSION으로 받기때문에 해당 SESSION을 무시하고 새로운 SESSION을 생성하면 200회의 제한이 없어진다.
하지만, 그렇게 하지않고 한번에 처리할 방법을 생각해보자.

우선 Blind SQL Injection이라고 판단하게 만드는 것으로는 union과 select가 막혀있다는 것, 그리고 값의 유무에 따라 yes / no를 답변해준다.
하지만 or,bin,ascii,등과 같은것이 필터링으로 막혀있고 대소 비교를 위한 >,< 등도 막혀있다. like를 통하여 값을 획득하고 싶어도 %가 막혀있어
진행이 어려울것 같은 상황이다.

Blind SQL Injection임은 틀림없는 상황이나, 여건이 따라주지 않아 Binary Search는 조금 힘들어 보인다. 상황을 정리해보자.

 if

사용가능 

 substr

사용가능 

 ascii,ord

사용불가 

 <.>

사용불가 

정리해보니 2가지만 해결하면 binary search를 사용하여 해결할수 있을것 같은 느낌이 든다.
<,>를 대체할 물건으로 mysql에서는 greatest 함수를 제공한다

해당 함수는 문자열과 숫자사이에서도 비교가 가능하며, 들어간 인자값중 큰것을 리턴해주는 함수이다.

그렇다면 이제 ascii와 ord를 대체할 함수를 찾아보자.
ascii와 ord는 문자를 ascii값(int)으로 바꿔주는 역할을 한다. 이는 binary search에서 꽤 중요한 역할을 한다. 이를 대체할 함수로 crc32를 제안한다.
crc32는 데이터 전송에 오류가 있는지 체크하기 위한 checksum과 같은 기능을 한다. 해당 값은 0x00000000 ~ 0xFFFFFFFF 이며 hash와 같이 단방향으로 제공된다.

이 crc32를 사용하여 Binary Search를 진행 해 볼 것이다.

5. POC
기초 아이디어는 아래와 같다.

    - 0x00 ~ 0xff의 crc32를 구하고 테이블을 만든다.
    - 나온 crc32값을 sorting한다.
    - 이후 Binary Search를 진행할때는 crc32값이 아닌, 정렬된 것의 index를 참고한다.

이렇게 되면 Injection Query는 개략적으로 아래와 같이 구성된다

    if(greatest(crc32(substr(column,IDX,1)),CRC32)^CRC32,1,0)

코드로 구현하면 아래와 같다


import binascii
import math

CRC_DICT = dict()
CRC_LIST = list()

def init_crc():
	global CRC_DICT
	global CRC_LIST

	for i in range(0x00,0xff+1):
		crc_value = binascii.crc32(chr(i).encode("utf-8"))
		CRC_DICT[crc_value] = i
		CRC_LIST.append(crc_value)
	CRC_LIST.sort()

def binSearch():
	for idx in range(1,target_length):
		BOT = 0x00
		TOP = 0xff
		while(1):
			mid = math.floor((BOT+TOP)/2)
			if TOP-BOT == 1:
				data += chr(CRC_DICT[CRC_LIST[mid+1]])
				break
			payload = "if(greatest(crc32(substr(pw,{},1)),{})^{},1,0)".format(idx,CRC_LIST[mid],CRC_LIST[mid])
			result = sendPayload(payload)
			if TrueCondition in result:
				BOT = mid
			else:
				TOP = mid
	return data

init_crc()
data = binSearch()
print(data)

if(greatest(crc32(substr(column,IDX,1)),CRC32)^CRC32,1,0) 이 구성에서 xor을 사용하지 않고 =와 같은 등호를 사용해도 무방하다.
xor를 사용하게 된다면 내가 비교하고자 하는 CRC32값이 리턴되지 않으면 어떤값이든 xor 하였을 경우 True가 나온다는것만 명심하면된다.
greatest를 통해 내가 넣은 CRC32값과 뽑아낸 값의 CRC32값을 비교하여 더 큰쪽을 가져 올것이고 이것은 ">=" 와 같은 효과가 난다.
이후 xor을 통해 내가 입력한 값이 리턴된 것을 확인했다면, 서버에서는 FALSE! 라고 응답을 준것과 같다.

이를 토대로 POC를 작성하고 스크립트를 실행하면 잘 작동하는것을 볼 수 있다.


6. 결론 

Binary Search는 간단한 코드로 좋은 효율을 볼수 있는 알고리즘이다. 하지만 이를 사용하기 위해서는 몇가지 조건이 있어야 하고, 그 조건을 계속해서 찾아나갈수 있을것이라 생각한다.
CRC32이외에도 md5나 sha1과 같은것들로 사용가능할 것이라 생각한다. 
덧붙여서 webhacking.kr 9번 문제에도 적용 가능한 기술이니, 자신의 코딩능력을 체크해보고 싶은분은 풀어보길 바란다.

'Web' 카테고리의 다른 글

Webhacking Study - Binary search with filtering  (0) 2019.10.10
[TIP?] sql injection을 위한 깔끔한 코드 작성법  (2) 2018.08.21
Webhacking Study - Query sniff  (2) 2018.04.06
Webhacking Study - no more BLIND  (6) 2017.04.18
Upload 코드의 흔한 실수  (2) 2016.03.07
Custom Webshell  (0) 2016.02.12
Posted by Maid:: IzayoiSakuya

댓글을 달아 주세요


주제 : SQL injection을 위한 깔끔한 코드 작성법

날짜 : 2018.08.21

작성자: Sakuya Izayoi



1. 개요 및 목적

'글쓴이 경험상' 대회때마다 SQL 문제가 나오면 그 문제에 맞게 툴을 새로 짜고, 펜테스트를 할때에도 툴을 새로 짜고.. 날이면 날마다 늘어가는 ???.py 들을 보고 있자니 파일관리를 못하는건지, 내가 범용성이 없게 짜는건지 도저히 모르게 되어버려서 쿼리의 형태를 작성하면 injection을 해주는 범용적인 툴을 제작하는것을 그 목적으로 한다.


2. 내용

이번은 기술문서가 아니라서 실망할 분들도 꽤 있을것 같다. 기술문서도 좋지만 쓸데없이 늘어가는 ???.py 들을 한번에 정리하고 깔끔한 Desktop 폴더를 만들기 위해서 본 글을 작성하기로 했다. 이번 포스팅의 정확한 목표는 '이 글을 참고하여 나만의 sql 자동화 툴을 만들자!' 가 되겠다.

이 글을 읽고싶어 하는 분들은 대부분의 세팅을 끝마친 상황일것이다. (Python, pip, APM 등등.)
하지만 그렇지 않은 분들을 위해 조금의 기초세팅을 소개하고 난 후, 본격적인 코드작성에 돌입하도록 하자.


2-1. Python - Requests 모듈

Python은 Ubuntu를 사용한다면 기본적으로 깔려있다. Requests 모듈은 웹에 서비스를 요청하는데 사용되는 대중적인 모듈중 하나이다. urllib 나 httplib를 쓰는분도 있긴하지만, 여기선 Requests를 쓰기로 하자. 이를 사용하기 위해선 pip install requests라고 입력후 엔터를 치면 된다.

이미 설치되어 있다면 위와 비슷한 화면이 뜨게 된다. 제대로 설치 되었는지 알고 싶다면 python을 실행후 import requests 를 입력후 엔터를 쳤을때, 아무런 에러가 나지 않으면 성공적으로 설치 된 것이다.

자신이 테스트할 웹 페이지가 있는것이 좋지만, 여기선 웹 해커의 자습서인 LOS를 예제로 조금 진행해 보도록 하겠다.  SQL injection에 대한 기초지식이 없다면 기초문서를, 조금의 지식이 있다면 심화문서를 읽도록 하자. 굳이 다 알고 있지 않아도 개략적인것을 기억한다면, 문서를 참고하면 언제든지 코드작성이 가능하므로 반드시 암기해야해! 같은 생각은 조금 접어두는것이 좋다.


3. 코드 작성

코드를 작성하기전에, 어떤것들을 코드로 작성하는게 좋을지 조금 생각해보자. 간단한 인증우회와 같은 것들은 툴로 작성할 필요가 없다. POC를 위해서라면 간단하게 작성할수 있지만, 이것을 자동화 라고 부르기엔 너무 간단하게 끝나지 않을까?
그렇다면 자연스레 목표는 정보유출에 관점을 맞추게 된다. union이 사용한 것들은 일반적으로 한문장의 쿼리로 유출이 가능하니 이것들도 제외하자.
남는것은 Blind 계열, Time based 계열의 injection들이 남게 된다. 이러한 것들은 대체적으로 특징적인 형태를 띄고 있는 경우가 많다.

해당 문제에서 SQL injection 구문을 짜게 되면,

pw=' || id='admin' && if(ascii(substring(pw,?,1))>0,1,0)#

정도 될것 같다. 변하는 값은 ?에 있는값으로 1,2,3,4,.. 증가하게 될것이다. 그럼 여기서 숫자는 언제까지 증가해야할까?ㅋ
이는 length를 통해 값을 가져올수 있다. 그럼 이 length는 어디까지 검증해야 할까?

조금 머리를 굴릴수 있다면 length에 대해서 binary search 를 적용해 볼수 있을것이다. 하지만 내가정한 상한값이 과연 원하는 정보의 길이를 포함하는 충분히 큰 값인가? 에 대한 질문은 확실히 답변하기 애매할수 있다. 무엇보다, '깔끔한' 코드 작성과는 거리가 멀다. 코드내에 for i in range(1,10000)이라고 적혀있을 내 코드를 보자. 작성하면서도 찜찜하지 않을까?

여기서 제안하는 방법은 length(length()) 쿼리이다. 이것으로 값을 한번 추출하면, 해당 값의 최대크기와 최소 크기를 지정할 수 있다. 무슨 뜻인가 하면,

length의 반환값을 하나의 string으로 보고 다시 length를 걸어서 이 글자의 최대길이를 잰다. 10의 n승 형태로 나타낼수 있게 값을 리턴해 주므로, 최대와 최소 길이를 정할수 있고, 이를 통해 binary search를 깔끔하게 작성할 수 있다. 여기서는 2를 리턴해줬으므로, 최소값은 10, 최대값은 100 이다. 그리고 이 사이에 16이라는 값은 반드시 들어있게 된다.
length(length())의 리턴값을 powret이라고 두면, 개략적으로 아래와 같은 코드를 작성 할 수 있다.

print에 들어있는 \033은 커서를 좌측 상단으로 떙기는 출력으로, console progressbar를 구현할때 글쓴이가 종종쓰는 방법이다. 코드를 실행시키면 실시간으로 LENGTH가 변하는것처럼 보이게 된다.

이렇게 length에 대한 값을 얻었으면,  sql 구문을 작동시키는 코드를 작성해 보도록 하자.

BLIND SQL injection 을 하면서 달라지는 값들에 대해서 한번 다시 생각해보도록 하자
pw=' || id='admin' && if(ascii(substring(pw,?,1))>0,1,0)#
여기서 중요한것은 처음의 pw와 substring내의 pw가 다를수 있다는것이다.


이 문제처럼, no값에 injection을 하고 가져와야하는 값이 pw일수도 있는것이다. 이렇게 되면

no=' ||id='admin' && if(ascii(substring(pw,?,1))>0,1,0)# 과 같이 두개의 값이 다를수 있다는 점이 중요하다.

이렇게 가변적인 값이 총 4개로 지정되었다. 이를 Blind SQL을 하기위해 4개의 인자를 가진 함수(메소드)를 제작하고 binary search를 행하는 구문을 개략적으로 작성해 넣는다면, 성공적으로 돌아가지 않을까?
코드를 작성함에 있어 필요한 것들을 정리해보면,
- Query의 뼈대
- Target이 될 Parameter
- True/False 를 판단할수 있는 판단조건
- 가져와야할 Column 이름
- 가져올 값의 길이 (length)

가 될 것이다. 간단한 예시로 Length를 구하는 Query를 살펴보도록 하자.

우리가 넣을 쿼리에 length({}) 부분을 length(length({})) 로 바꿔줌으로써 사용에 불편함이 없도록 한다.

그의 리턴값을 받아서 Bianry Search를 돌리게 되면 간단하게 값이 나오게 된다.

if column is None 부분에 대해서 조금 의문이 들수 있는데, 이 부분은 위에 예시를 들었던 no,pw 처럼 injection하는 파라미터와 가져와야할 column이 다를경우 설정해 주는 값으로, 설정해주지 않으면 동일한 것으로 판단하고 인젝션하는 코드가 되겠다.

위와 같이 코드를 작성하게 된다면 Length를 가져오는 쿼리의 예시는

LengthQuery = "1' || id = 0x61646d696e && if(length({})>{},1,0)#

이는 getLength(LengthQuery,"pw",TrueCondition,column='pw') 처럼 호출되거나

getLength(LengthQuery,"no",TrueCondition,column='pw') 처럼 호출 될 것이다.

본편에서는 Length Query만을 예제로 들었지만, 다른 blind sql 구문또한 이와같이 작성해주면 간단히 해결 할 수 있다.


4. 보너스

이렇게 열심히 코드를 작성해놓고 밋밋하게 출력된다면 또한 재미가 없다. 한글자씩 나오더라도 영화처럼 나오면 보는 사람또한 즐겁기 마련이다.


여기서 key는 전역변수로, blind sql을 통해 한글자를 얻을때 마다 갱신된다. threading을 사용하여 돌려보면 마치 무작위대입을 하다가 한글자씩 맞추는것 같은, 영화와 같은 출력을 볼 수 있다.


'Web' 카테고리의 다른 글

Webhacking Study - Binary search with filtering  (0) 2019.10.10
[TIP?] sql injection을 위한 깔끔한 코드 작성법  (2) 2018.08.21
Webhacking Study - Query sniff  (2) 2018.04.06
Webhacking Study - no more BLIND  (6) 2017.04.18
Upload 코드의 흔한 실수  (2) 2016.03.07
Custom Webshell  (0) 2016.02.12
Posted by Maid:: IzayoiSakuya

댓글을 달아 주세요

  1. AhnMo 2018.08.21 18:39 신고  댓글주소  수정/삭제  댓글쓰기

    length(length('A'*100))==2 라는 것을 배워갑니다(?)

  2. Maid:: IzayoiSakuya 2018.08.22 09:39 신고  댓글주소  수정/삭제  댓글쓰기

    부끄러운 수학실력이 또 ㅋㅋㅋ