软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2011年
6期
1140-1154
,共15页
李倩%汤恩义%戴雪峰%王林章%赵建华
李倩%湯恩義%戴雪峰%王林章%趙建華
리천%탕은의%대설봉%왕림장%조건화
指针指向分析%上下文敏感%字段敏感%环路检测
指針指嚮分析%上下文敏感%字段敏感%環路檢測
지침지향분석%상하문민감%자단민감%배로검측
指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理.为了提高算法的效率和可扩展性,引入了两种优化方式:一种是结点间的拓扑排序以降低分析过程中的迭代次数;另一种是在线的环路侦测与消除,它与拓扑排序过程同步实现,有效地提高了处理效率.实验数据表明,该算法可以用来为较大规模的Java代码生成精确的指向关系集合.
指針指嚮分析的主要目的是靜態地穫取程序在運行時刻的指針指嚮信息.基于Andersen算法,設計瞭一種有效的、上下文敏感的指針指嚮分析算法,支持繼承、字段對象等語言特性.不同對象的字段在算法中被分彆處理,同時,算法對複閤類型的對象實現瞭基于字段的處理.為瞭提高算法的效率和可擴展性,引入瞭兩種優化方式:一種是結點間的拓撲排序以降低分析過程中的迭代次數;另一種是在線的環路偵測與消除,它與拓撲排序過程同步實現,有效地提高瞭處理效率.實驗數據錶明,該算法可以用來為較大規模的Java代碼生成精確的指嚮關繫集閤.
지침지향분석적주요목적시정태지획취정서재운행시각적지침지향신식.기우Andersen산법,설계료일충유효적、상하문민감적지침지향분석산법,지지계승、자단대상등어언특성.불동대상적자단재산법중피분별처리,동시,산법대복합류형적대상실현료기우자단적처리.위료제고산법적효솔화가확전성,인입료량충우화방식:일충시결점간적탁복배서이강저분석과정중적질대차수;령일충시재선적배로정측여소제,타여탁복배서과정동보실현,유효지제고료처리효솔.실험수거표명,해산법가이용래위교대규모적Java대마생성정학적지향관계집합.
