计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
14期
68-69,72
,共3页
娄坚波%刘久富%李金奎%王伟
婁堅波%劉久富%李金奎%王偉
루견파%류구부%리금규%왕위
符号执行%预处理变量%条件值%条件表达式
符號執行%預處理變量%條件值%條件錶達式
부호집행%예처리변량%조건치%조건표체식
传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的.为降低时间复杂度,提出一种快速符号执行算法.源代码通过词法分析器得到顶处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处理结束后每一个预处理变量的条件值.实例结果表明,该算法能免去传统符号执行中对于路径可行性的分析,从而降低时间复杂度.
傳統C/C++代碼的預處理分析利用符號執行推斷預處理中自由變量條件錶達式的值,但是該算法的時間複雜度是指數型的.為降低時間複雜度,提齣一種快速符號執行算法.源代碼通過詞法分析器得到頂處理變量和路徑條件,為預處理變量建立節點,把路徑條件轉化為條件錶達式,通過符號執行算法將兩者整閤為條件值c-value的形式,最終顯示預處理結束後每一箇預處理變量的條件值.實例結果錶明,該算法能免去傳統符號執行中對于路徑可行性的分析,從而降低時間複雜度.
전통C/C++대마적예처리분석이용부호집행추단예처리중자유변량조건표체식적치,단시해산법적시간복잡도시지수형적.위강저시간복잡도,제출일충쾌속부호집행산법.원대마통과사법분석기득도정처리변량화로경조건,위예처리변량건립절점,파로경조건전화위조건표체식,통과부호집행산법장량자정합위조건치c-value적형식,최종현시예처리결속후매일개예처리변량적조건치.실례결과표명,해산법능면거전통부호집행중대우로경가행성적분석,종이강저시간복잡도.
