计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2011年
7期
1224-1238
,共15页
陈聪明%霍玮%于洪涛%冯晓兵
陳聰明%霍瑋%于洪濤%馮曉兵
진총명%곽위%우홍도%풍효병
指针分析%Andersen风格%指向集%约束图%流不敏感
指針分析%Andersen風格%指嚮集%約束圖%流不敏感
지침분석%Andersen풍격%지향집%약속도%류불민감
指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向.
指針分析是程序分析和編譯優化的基礎,針對基于包含的指針分析算法的改進一直是指針分析領域研究的熱點之一.文中從該指針分析算法改進的兩類技術來總結近二十年來相關的研究工作,包括在線優化技術如約束圖上的彊連通分量的檢測和消除等和離線優化技術如變量替換等.通過實驗對比瞭7種較有影響力的分析算法和三種離線優化算法,併從性能、內存開銷等方麵進行瞭評述和總結.文章最後闡述瞭基于包含的指針分析今後潛在的研究方嚮.
지침분석시정서분석화편역우화적기출,침대기우포함적지침분석산법적개진일직시지침분석영역연구적열점지일.문중종해지침분석산법개진적량류기술래총결근이십년래상관적연구공작,포괄재선우화기술여약속도상적강련통분량적검측화소제등화리선우화기술여변량체환등.통과실험대비료7충교유영향력적분석산법화삼충리선우화산법,병종성능、내존개소등방면진행료평술화총결.문장최후천술료기우포함적지침분석금후잠재적연구방향.
