DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Yongdae | - |
dc.contributor.advisor | 김용대 | - |
dc.contributor.author | Kim, Hyunki | - |
dc.date.accessioned | 2021-05-12T19:34:39Z | - |
dc.date.available | 2021-05-12T19:34:39Z | - |
dc.date.issued | 2020 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=909997&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/283893 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 정보보호대학원, 2020.2,[iv, 26 p. :] | - |
dc.description.abstract | There are many potential vulnerabilities in developed programs. Recently, as various programs are developed, the types of vulnerabilities are diversified and the number is also increasing. For this reason, program vulnerabilities analysis techniques are addressed such as dynamic analysis and static analysis. It is difficult to use dynamic analysis because an environment must be set up to execute the target program. In contrast, using static analysis is easy because we only need a program code. However, if we analyze all program flow in static analysis, we need the same cost to analysis as dynamic analysis because we have to execute all instructions like dynamic analysis. For this reason, abstract interpretation is proposed to do static analysis in a limited time. Based on abstract interpretation, value set analysis is studied to infer values that variables can have and to recover them. The primary purpose of this study is to recover variables of a program using value set analysis for vulnerability analysis, address improve memory inference method of value set analysis on IR code, and support all architecture. Additionally, we describe many problems when we developed value set analysis on IR code and how to solve them. We also evaluate the performance of the implemented IR-based value set analysis by comparing it with a state of the art binary analysis tool. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | binary analysis▼astatic analysis▼aabstract interpretation▼avalue set analysis▼aintermediate representation | - |
dc.subject | 바이너리 분석▼a정적 분석▼a추론 해석▼a값 집합 분석▼a중간 표현 | - |
dc.title | On the practical study of IR-based value set analysis | - |
dc.title.alternative | 실용적인 중간 표현 코드 기반 값 집합 분석 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :정보보호대학원, | - |
dc.contributor.alternativeauthor | 김현기 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.