计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
1期
139-143
,共5页
依赖图%指针%组合%别名%程序切片
依賴圖%指針%組閤%彆名%程序切片
의뢰도%지침%조합%별명%정서절편
指针的动态性使得程序分析中一个指针变量往往被认为有多个可能的指向目标,构成多个指向关系.现有的依赖图构建方法虽然较全面地考虑了指针的多指向性,但并未考虑指向关系之间的可组合性,因此精度上仍存在许多不足.为此,提出了一种利用无效指向组合优化依赖图构建的方法,新方法可以排除现有方法所不能识别的伪依赖,从而有效地提高依赖图的构建精度.
指針的動態性使得程序分析中一箇指針變量往往被認為有多箇可能的指嚮目標,構成多箇指嚮關繫.現有的依賴圖構建方法雖然較全麵地攷慮瞭指針的多指嚮性,但併未攷慮指嚮關繫之間的可組閤性,因此精度上仍存在許多不足.為此,提齣瞭一種利用無效指嚮組閤優化依賴圖構建的方法,新方法可以排除現有方法所不能識彆的偽依賴,從而有效地提高依賴圖的構建精度.
지침적동태성사득정서분석중일개지침변량왕왕피인위유다개가능적지향목표,구성다개지향관계.현유적의뢰도구건방법수연교전면지고필료지침적다지향성,단병미고필지향관계지간적가조합성,인차정도상잉존재허다불족.위차,제출료일충이용무효지향조합우화의뢰도구건적방법,신방법가이배제현유방법소불능식별적위의뢰,종이유효지제고의뢰도적구건정도.
