计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2013年
11期
3353-3357
,共5页
曹琰%欧阳永基%魏强%王清贤
曹琰%歐暘永基%魏彊%王清賢
조염%구양영기%위강%왕청현
符号执行%混合输入%环境交互%一致性模型%约束求解
符號執行%混閤輸入%環境交互%一緻性模型%約束求解
부호집행%혼합수입%배경교호%일치성모형%약속구해
symbolic execution%mixed input%environment interaction%consistency model%constraint solution
针对软件安全测试中静态符号执行技术难以处理环境交互的问题,提出了一种基于混合输入的符号执行方法.首先,定义了程序执行的一致性模型,系统化地分析了符号执行与实际执行的逼近问题;接着,提出了符号执行与具体执行的转换方法及维护一致性的启发式策略;最后,通过区分可求解约束和复杂约束条件,提出了具体值和符号值混合代入法化简复杂约束的路径求解算法.实验结果表明该方法在处理环境交互问题上的可行性和有效性,扩展了静态符号执行的能力.
針對軟件安全測試中靜態符號執行技術難以處理環境交互的問題,提齣瞭一種基于混閤輸入的符號執行方法.首先,定義瞭程序執行的一緻性模型,繫統化地分析瞭符號執行與實際執行的逼近問題;接著,提齣瞭符號執行與具體執行的轉換方法及維護一緻性的啟髮式策略;最後,通過區分可求解約束和複雜約束條件,提齣瞭具體值和符號值混閤代入法化簡複雜約束的路徑求解算法.實驗結果錶明該方法在處理環境交互問題上的可行性和有效性,擴展瞭靜態符號執行的能力.
침대연건안전측시중정태부호집행기술난이처리배경교호적문제,제출료일충기우혼합수입적부호집행방법.수선,정의료정서집행적일치성모형,계통화지분석료부호집행여실제집행적핍근문제;접착,제출료부호집행여구체집행적전환방법급유호일치성적계발식책략;최후,통과구분가구해약속화복잡약속조건,제출료구체치화부호치혼합대입법화간복잡약속적로경구해산법.실험결과표명해방법재처리배경교호문제상적가행성화유효성,확전료정태부호집행적능력.