안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법 Automated Unit-test Generation for Detecting Vulnerabilities of Android Kernel Modules

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 249
  • Download : 0
본 논문에서는 안드로이드 커널 모듈의 취약점을 탐지하기 위한 자동 유닛 테스트 생성 기법을 제안한다. 안드로이드 커널 모듈의 각 함수를 대상으로 테스트 드라이버/스텁 함수를 자동 생성하고 동적 기호 실행 기법을 사용하여 테스트 입력 값을 자동으로 생성한다. 또한 안드로이드 커널 모듈의 함수 포인터와 함수 선행 조건을 고려하지 않은 테스트 생성으로 인한 거짓 경보를 줄이기 위해 정적 분석을 통한 함수 포인터 매칭 기법과 def-use 분석을 사용한 함수 선행 조건 생성 기법을 개발하였다. 자동 유닛 테스트 생성 기법을 안드로이드 커널 3.4 버전의 세 모듈에 적용한 결과 기존에 존재하던 취약점을 모두 탐지할 수 있었으며 제안한 거짓 경보 감소 기법으로 평균 44.9%의 거짓 경보를 제거할 수 있었다.
Publisher
한국정보과학회
Issue Date
2017-02
Language
Korean
Keywords

소프트웨어 테스팅; 자동 유닛 테스팅; 동적 기호 실행; 안드로이드 커널 모듈 테스팅; software testing; automated unit testing; dynamic symbolic execution; Android kernel module testing

Citation

정보과학회논문지, v.44, no.2, pp.171 - 178

ISSN
2383-630X
URI
http://hdl.handle.net/10203/226032
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0