A Method of Binary Code Variable Interval Analysis Based on Abstract Interpretation

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.