福建电脑
福建電腦
복건전뇌
FUJIAN COMPUTER
2015年
6期
106-107
,共2页
翁子盛%施保华%黄德官
翁子盛%施保華%黃德官
옹자성%시보화%황덕관
符号执行%过程内分析%路径调试
符號執行%過程內分析%路徑調試
부호집행%과정내분석%로경조시
符号执行是路径敏感的分析方法，分析精度高，时间空间消耗较大，是作为单元测试的一种很好的方法。针对符号执行的特点，本文提出一种过程内分析算法和路径调度算法，基于该算法实现了一种测试工具，通过实验，表明该算法在万行级代码的分析能够给出具有指导价值的分析结果。
符號執行是路徑敏感的分析方法，分析精度高，時間空間消耗較大，是作為單元測試的一種很好的方法。針對符號執行的特點，本文提齣一種過程內分析算法和路徑調度算法，基于該算法實現瞭一種測試工具，通過實驗，錶明該算法在萬行級代碼的分析能夠給齣具有指導價值的分析結果。
부호집행시로경민감적분석방법，분석정도고，시간공간소모교대，시작위단원측시적일충흔호적방법。침대부호집행적특점，본문제출일충과정내분석산법화로경조도산법，기우해산법실현료일충측시공구，통과실험，표명해산법재만행급대마적분석능구급출구유지도개치적분석결과。
