计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2000年
5期
477-485
,共9页
黄波%臧斌宇%韦俊银%朱传琪
黃波%臧斌宇%韋俊銀%硃傳琪
황파%장빈우%위준은%주전기
上下文敏感%指针分析%过程间分析%扩充参数
上下文敏感%指針分析%過程間分析%擴充參數
상하문민감%지침분석%과정간분석%확충삼수
提出了一种新的指针指向信息的过程间传播方法,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法,从而形成了一种实用的上下文敏感的过程间指针分析框架.该方法已在C程序分析工具Agassiz系统中实现,实验数据说明这些方法是行之有效的.
提齣瞭一種新的指針指嚮信息的過程間傳播方法,對過程間指針分析所必鬚解決的若榦重要問題給齣瞭詳儘的算法,從而形成瞭一種實用的上下文敏感的過程間指針分析框架.該方法已在C程序分析工具Agassiz繫統中實現,實驗數據說明這些方法是行之有效的.
제출료일충신적지침지향신식적과정간전파방법,대과정간지침분석소필수해결적약간중요문제급출료상진적산법,종이형성료일충실용적상하문민감적과정간지침분석광가.해방법이재C정서분석공구Agassiz계통중실현,실험수거설명저사방법시행지유효적.
