CAJ | 학술논문

　　在二进制代码分析中，传统的区间分析方法难以有效获得变量的取值范围。针对二进制代码变量特点，基于抽象解释理论，该文提出字级数据区间和位级数据区间的概念，分别对数值型数据变量和位级数据变量进行抽象表示；将抽象区间用于二进制代码变量运算，构建字级数据区间和位级数据区间的运算方法；引入区间集的概念，确立字级数据区间和位级数据区间的转换关系，提出字级数据区间和位级数据区间的相互转换算法。实验结果表明，该文提出的基于抽象解释的二进制代码变量区间分析方法能够精确高效地确定二进制代码变量的取值范围。
　　재이진제대마분석중，전통적구간분석방법난이유효획득변량적취치범위。침대이진제대마변량특점，기우추상해석이론，해문제출자급수거구간화위급수거구간적개념，분별대수치형수거변량화위급수거변량진행추상표시；장추상구간용우이진제대마변량운산，구건자급수거구간화위급수거구간적운산방법；인입구간집적개념，학립자급수거구간화위급수거구간적전환관계，제출자급수거구간화위급수거구간적상호전환산법。실험결과표명，해문제출적기우추상해석적이진제대마변량구간분석방법능구정학고효지학정이진제대마변량적취치범위。
Due to characteristics of binary code, it is difficult to deal with binary code variable through traditional interval analysis. To figure out this problem, a new interval analysis method of binary code variable based on abstract interpretation is proposed in this paper. Based on abstract interpretation, two concepts which are word-level data interval and bit-level data interval are presented. The word-level data interval is the abstract presentation of numerical value variable and the bit-level data interval is the abstract presentation of bit value variable. Operation methods of word-level data interval and bit-level data interval are constructed. The conversion operations between word-level data interval and bit-level data interval are put forward and corresponding algorithms are presented. The theoretical and experimental results show that the binary code variable interval can be calculated effectively and precisely with the proposed method.