计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2013年
6期
42-45,178
,共5页
梁娟娟%刘久富%朱丹丹%陈柯
樑娟娟%劉久富%硃丹丹%陳柯
량연연%류구부%주단단%진가
静态分析%符号执行%抽象语法树%可执行路径
靜態分析%符號執行%抽象語法樹%可執行路徑
정태분석%부호집행%추상어법수%가집행로경
static analysis%symbolic execution%abstract syntax tree%executable path
文中基于符号执行理论,设计了一种面向C语言的静态分析方法.通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一条可执行路径,最后依照程序的可执行路径得到每个变量最终的符号执行结果.该方法支持基于C语言文法的程序规范性检查,便于代码质量度量.利用该方法得到的抽象语法树,可开展静态构架分析,同时利用变量值的符号表达式可辅助测试用例生成,有助于提高测试的效率和质量.
文中基于符號執行理論,設計瞭一種麵嚮C語言的靜態分析方法.通過詞法分析和語法分析構建瞭程序的抽象語法樹,併在此過程中對源代碼進行規範性檢查,再根據函數調用關繫與抽象語法樹來確定程序分析層次,併通過約束求解器確定程序中每一條可執行路徑,最後依照程序的可執行路徑得到每箇變量最終的符號執行結果.該方法支持基于C語言文法的程序規範性檢查,便于代碼質量度量.利用該方法得到的抽象語法樹,可開展靜態構架分析,同時利用變量值的符號錶達式可輔助測試用例生成,有助于提高測試的效率和質量.
문중기우부호집행이론,설계료일충면향C어언적정태분석방법.통과사법분석화어법분석구건료정서적추상어법수,병재차과정중대원대마진행규범성검사,재근거함수조용관계여추상어법수래학정정서분석층차,병통과약속구해기학정정서중매일조가집행로경,최후의조정서적가집행로경득도매개변량최종적부호집행결과.해방법지지기우C어언문법적정서규범성검사,편우대마질량도량.이용해방법득도적추상어법수,가개전정태구가분석,동시이용변량치적부호표체식가보조측시용례생성,유조우제고측시적효솔화질량.
