基于位运算的固件代码变量区间分析法

• 作者: 李清宝 牛小鹏 王炜 谢晓东 赵远
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 固件代码 区间分析 不确定位 位运算
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 信息安全
• 页码范围: 107-111
• 页数: 5页
• 分类号: TP309.5
• 字数: 6589字
• 语种: 中文

摘要

要变量区间分析是程序代码数据流分析的重要部分.固件反汇编代码存在字节运算和位运算两类运算,当变量取值范围较大时,依次迭代法不能高效地分析经位运算后的结果的取值区间.提出一种快速位运算方法,即根据变量取值区间范围,先将变量转化为不确定位形式再进行位运算；提出一种区间生成算法,即把不确定位形式转化为区间来实现字节运算.实验结果表明,该基于位运算的固件代码变量区间分析方法在程序变量取值范围较大时效率远远高于依次迭代法,而且在各种变量取值区间范围内所需时间稳定,并随着区间范围的增大,其有略微下降趋势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牛小鹏	信息工程大学信息工程学院计算机系	5	46	3.0	5.0
2	李清宝	信息工程大学信息工程学院计算机系	12	128	4.0	11.0
3	赵远	信息工程大学信息工程学院计算机系	6	17	3.0	3.0
4	王炜	信息工程大学信息工程学院计算机系	11	42	3.0	6.0
5	谢晓东	信息工程大学信息工程学院计算机系	1	1	1.0	1.0