计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2013年
9期
2810-2812
,共3页
语义提取%动态符号执行%路径调度%二进制程序缺陷发现
語義提取%動態符號執行%路徑調度%二進製程序缺陷髮現
어의제취%동태부호집행%로경조도%이진제정서결함발현
semantic extraction%dynamic symbolic execution%path scheduling%defect detection for binary programs
以对二进制程序进行自动化缺陷发现为目标,基于软件虚拟机的动态二进制翻译机制和污点传播机制,对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究,改进了传统动态符号执行的路径调度部分,分析了程序缺陷的符号断言表达形式,构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷.实验验证了该方法在实际程序缺陷发现中的有效性.
以對二進製程序進行自動化缺陷髮現為目標,基于軟件虛擬機的動態二進製翻譯機製和汙點傳播機製,對符號計算需要關註的程序運行時語義信息提取、中間語言符號計算等機製進行瞭研究,改進瞭傳統動態符號執行的路徑調度部分,分析瞭程序缺陷的符號斷言錶達形式,構建瞭一箇在線式的動態符號執行繫統檢測二進製程序中的缺陷.實驗驗證瞭該方法在實際程序缺陷髮現中的有效性.
이대이진제정서진행자동화결함발현위목표,기우연건허의궤적동태이진제번역궤제화오점전파궤제,대부호계산수요관주적정서운행시어의신식제취、중간어언부호계산등궤제진행료연구,개진료전통동태부호집행적로경조도부분,분석료정서결함적부호단언표체형식,구건료일개재선식적동태부호집행계통검측이진제정서중적결함.실험험증료해방법재실제정서결함발현중적유효성.