%0 Journal Article
%T Variable Intervals Analysis of Firmware Code Based on Binary-bit Operation<br>基于位运算的固件代码变量区间分析法
%A XIE Xiao-dong
%A LI Qing-bao
%A WANG Wei
%A NIU Xiao-peng
%A ZHAO Yuan
%A <br>谢晓东
%A 李清宝
%A 王 炜
%A 牛小鹏
%A 赵 远
%J 计算机科学
%D 2013
%I 
%X The variable intervals analysis plays an important role in program data-flow analysis. There are two different operations, word-level and bit level. For the traditional iterative algorithm is inefficient to analyze the result intervals of bitwise operations if the variable has a large range, a quick bitwise operation method was proposed, which turns variables into the uncertainty bit form, and then makes the bitwise operators. When the uncertainty bit form of a variable needs to do word-level operation, the interval generated algorithm proposed can convert the form to the intervals. The experimental results show that the proposed method is time-consuming stability and more efficient than iterative algorithm with variable range large, and has a downward trend when the variable range expands.
%K Firmware code
%K Interval analysis
%K Uncertainty bit
%K Bit operation<br>固件代码
%K 区间分析
%K 不确定位
%K 位运算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F2F3E0E822DEB5B2FC01AF74EC899B75&yid=FF7AA908D58E97FA&vid=1371F55DA51B6E64&iid=CA4FD0336C81A37A&sid=D767283A3B658885&eid=480C51B1F0CE0AB6&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0