计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2014年
12期
3511-3514
,共4页
林伟%蔡瑞杰%祝跃飞%石小龙
林偉%蔡瑞傑%祝躍飛%石小龍
림위%채서걸%축약비%석소룡
离线污点分析%轨迹跟踪%语义规则%污点传播%时间开销
離線汙點分析%軌跡跟蹤%語義規則%汙點傳播%時間開銷
리선오점분석%궤적근종%어의규칙%오점전파%시간개소
off-line taint analysis%track recording%semantic rule%taint propagation%time overhead
离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大,因此研究快速高效的污点传播分析具有重要意义.针对上述问题,提出了一种基于语义规则的污点传播分析优化方法.该方法定义了一种指令的语义描述规则,用于描述指令的污点传播语义,利用中间语言自动生成汇编指令的语义规则,再根据语义规则进行污点传播分析,避免了现有污点分析方法中指令重复执行导致的重复语义解析,提高了污点分析的效率.实验结果表明,所提方法能够有效降低污点传播分析的时间开销,仅占传统基于中间语言污点分析的14％左右,提高了分析效率.
離線汙點分析中的針對軌跡記錄文件的汙點傳播分析的時間開銷非常巨大,因此研究快速高效的汙點傳播分析具有重要意義.針對上述問題,提齣瞭一種基于語義規則的汙點傳播分析優化方法.該方法定義瞭一種指令的語義描述規則,用于描述指令的汙點傳播語義,利用中間語言自動生成彙編指令的語義規則,再根據語義規則進行汙點傳播分析,避免瞭現有汙點分析方法中指令重複執行導緻的重複語義解析,提高瞭汙點分析的效率.實驗結果錶明,所提方法能夠有效降低汙點傳播分析的時間開銷,僅佔傳統基于中間語言汙點分析的14％左右,提高瞭分析效率.
리선오점분석중적침대궤적기록문건적오점전파분석적시간개소비상거대,인차연구쾌속고효적오점전파분석구유중요의의.침대상술문제,제출료일충기우어의규칙적오점전파분석우화방법.해방법정의료일충지령적어의묘술규칙,용우묘술지령적오점전파어의,이용중간어언자동생성회편지령적어의규칙,재근거어의규칙진행오점전파분석,피면료현유오점분석방법중지령중복집행도치적중복어의해석,제고료오점분석적효솔.실험결과표명,소제방법능구유효강저오점전파분석적시간개소,부점전통기우중간어언오점분석적14％좌우,제고료분석효솔.
