计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
1期
107-111
,共5页
谢晓东%李清宝%王炜%牛小鹏%赵远
謝曉東%李清寶%王煒%牛小鵬%趙遠
사효동%리청보%왕위%우소붕%조원
固件代码%区间分析%不确定位%位运算
固件代碼%區間分析%不確定位%位運算
고건대마%구간분석%불학정위%위운산
要变量区间分析是程序代码数据流分析的重要部分.固件反汇编代码存在字节运算和位运算两类运算,当变量取值范围较大时,依次迭代法不能高效地分析经位运算后的结果的取值区间.提出一种快速位运算方法,即根据变量取值区间范围,先将变量转化为不确定位形式再进行位运算；提出一种区间生成算法,即把不确定位形式转化为区间来实现字节运算.实验结果表明,该基于位运算的固件代码变量区间分析方法在程序变量取值范围较大时效率远远高于依次迭代法,而且在各种变量取值区间范围内所需时间稳定,并随着区间范围的增大,其有略微下降趋势.
要變量區間分析是程序代碼數據流分析的重要部分.固件反彙編代碼存在字節運算和位運算兩類運算,噹變量取值範圍較大時,依次迭代法不能高效地分析經位運算後的結果的取值區間.提齣一種快速位運算方法,即根據變量取值區間範圍,先將變量轉化為不確定位形式再進行位運算；提齣一種區間生成算法,即把不確定位形式轉化為區間來實現字節運算.實驗結果錶明,該基于位運算的固件代碼變量區間分析方法在程序變量取值範圍較大時效率遠遠高于依次迭代法,而且在各種變量取值區間範圍內所需時間穩定,併隨著區間範圍的增大,其有略微下降趨勢.
요변량구간분석시정서대마수거류분석적중요부분.고건반회편대마존재자절운산화위운산량류운산,당변량취치범위교대시,의차질대법불능고효지분석경위운산후적결과적취치구간.제출일충쾌속위운산방법,즉근거변량취치구간범위,선장변량전화위불학정위형식재진행위운산；제출일충구간생성산법,즉파불학정위형식전화위구간래실현자절운산.실험결과표명,해기우위운산적고건대마변량구간분석방법재정서변량취치범위교대시효솔원원고우의차질대법,이차재각충변량취치구간범위내소수시간은정,병수착구간범위적증대,기유략미하강추세.
