슈퍼컴퓨터를 이용한 안드로이드 어플리케이션의 정적 분석

1. 슈퍼컴퓨터를 이용한
안드로이드 어플리케이션의
정적 분석
울프리카
2015-10-07 1

2. 믿었던 손전등 앱 마저…
2015-10-07 2
'손전등 앱' 개인정보 훔쳐가… 유심칩 번호까지 유출
http://imnews.imbc.com//replay/2014/nwtoday/article/3553372_13495.html

3. 권한은 읽지도 않는다
2015-10-07 3
특정 권한이 있다면 개인 정보에 마음대로 접근할 수 있다
http://cfile23.uf.tistory.com/image/116B183F4EDDA0D02D4774
http://rosaec.snu.ac.kr/meet/file/20120118i.pdf

4. 백신이 필요하다
2015-10-07 4
TaintDroid
패키지명?
권한?

5. 동적 분석 vs 정적 분석
2015-10-07 5
직접 실행해 보며 유출 지점을 찾는 동적 분석
실행해 보지 않고도 분석해내는 정적 분석
분석시 시간 및 위험 최소화

6. APK 파일 구조
2015-10-07 6
Android에서 어플리케이션을 이루고 있는 APK 파일의 구조
http://justamomentgoose.files.wordpress.com/2013/06/apk-structure.png

7. 그러나…
2015-10-07 7

8. 난독화 및 보호
2015-10-07 8
APKProtect
http://apkprotect.com

9. 엄청난 시간 요구
2015-10-07 9
ScanDal - Black Market Applications
http://ropas.snu.ac.kr/scandal/

10. 2015-10-07 10
슈퍼컴퓨터를 활용하자!

11. 기대 효과 <Server>
2015-10-07 11
ScanDal
유출 가능 차단

12. 기대 효과 <Client>
2015-10-07 12
ScanDal
유출 가능 안전한 앱

13. 차단할 경로
2014-11-22 13
개인정보를 획득하는 부분
개인정보가 기기 밖으로 나가는 부분
Source
Sink

14. Flow Chart <Source>
2014-11-22 14
개인 정보
접근
개인 정보
다음 단계로…

15. Flow Chart <Source> (Cont.)
2014-11-22 15
개인 정보
접근
개인 정보
다음 단계로…
Private
Manager

16. Flow Chart <Sink>
2014-11-22 16
개인 정보
유출 가능
외부
다음 단계로…

17. Flow Chart <Sink> (Cont.)
2014-11-22 17
개인 정보
유출 가능
외부
다음 단계로…
Private
Manager

18. Smali 코드
2015-10-07 18
a.java
javac
01100011101010
011101010010
0100011110011
111101010010
1110110101011
1010101010000
110001010101
classes.dex
baksmali
smali
iget-object v2, p0 …
new-instance v3, …
invoke-virtual {v1} …
move-result- …
invoke-direct …
invoke-virtual {v3} …
move-result v3
a.smali

19. Smali 코드 변경
2015-10-07 19
invoke-virtual {v7}, Landroid/telephony/TelephonyManager;->getDeviceId()Ljava/lang/String;
move-result-object v7 개인정보에 접근
const v13, 1
const-string v11, "src"
const-string v12, "id“
invoke-static/range {v11 .. v13}, Lcom/privatechecker/inAppClass;->privateRequest(Ljava/lang/String;Ljava/lang/String;I)Z
move-result v11
접근해도 되는지를 물어본다
if-eqz v11, :private4
goto :privateEnd4
:private4
const-string v7, ""
:privateEnd4
허가되면 그대로 진행
아니라면 빈 문자열로 대체

20. 2015-10-07 20
Q&A

21. 감사합니다
2015-10-07 21