计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
9期
115-119
,共5页
符号执行%软件测试%数组混淆%约束求解
符號執行%軟件測試%數組混淆%約束求解
부호집행%연건측시%수조혼효%약속구해
符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一.通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题.该策略使用实时的约束求解,及时地剪除不可达的混淆分支.结合符号执行和约束求解技术,开发了基于分支混淆算法的工具原型ASym.初步实验表明,利用分支混淆算法可以处理具有分支结构的数组混淆问题,避免延迟替换出现的数组语义误差,且在很大程度上缩减了分支数量,提高执行效率.
符號執行是靜態分析中的一項常用技術,數組元素混淆問題是限製符號執行本身性能的關鍵因素之一.通過分析數組混淆實質,提齣瞭一種分支混淆算法,利用邊混淆邊符號執行的策略,可以處理較為複雜的數組問題.該策略使用實時的約束求解,及時地剪除不可達的混淆分支.結閤符號執行和約束求解技術,開髮瞭基于分支混淆算法的工具原型ASym.初步實驗錶明,利用分支混淆算法可以處理具有分支結構的數組混淆問題,避免延遲替換齣現的數組語義誤差,且在很大程度上縮減瞭分支數量,提高執行效率.
부호집행시정태분석중적일항상용기술,수조원소혼효문제시한제부호집행본신성능적관건인소지일.통과분석수조혼효실질,제출료일충분지혼효산법,이용변혼효변부호집행적책략,가이처리교위복잡적수조문제.해책략사용실시적약속구해,급시지전제불가체적혼효분지.결합부호집행화약속구해기술,개발료기우분지혼효산법적공구원형ASym.초보실험표명,이용분지혼효산법가이처리구유분지결구적수조혼효문제,피면연지체환출현적수조어의오차,차재흔대정도상축감료분지수량,제고집행효솔.