计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2011年
11期
40-43,84
,共5页
流敏感%上下文敏感%指针分析%函数摘要%控制流图
流敏感%上下文敏感%指針分析%函數摘要%控製流圖
류민감%상하문민감%지침분석%함수적요%공제류도
指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位.Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,因其执行效率极高的优点被广泛的应用于快速的指针指向分析.但该算法计算结果精度不高,得到的指针指向集往往有误差.针对该不足,引入了Vineet Kahlon的用求最大更新序列来求指针别名的思想,对Steensgaard算法计算出的结果进行了修正.并通过一个实例证明了改进后的算法比先前的算法更精确.
指針的指嚮分析在檢測C語言多線程程序的數據競爭中佔有重要的地位.Steensgaard提齣的流非敏感上下文非敏感的指針彆名分析算法,因其執行效率極高的優點被廣汎的應用于快速的指針指嚮分析.但該算法計算結果精度不高,得到的指針指嚮集往往有誤差.針對該不足,引入瞭Vineet Kahlon的用求最大更新序列來求指針彆名的思想,對Steensgaard算法計算齣的結果進行瞭脩正.併通過一箇實例證明瞭改進後的算法比先前的算法更精確.
지침적지향분석재검측C어언다선정정서적수거경쟁중점유중요적지위.Steensgaard제출적류비민감상하문비민감적지침별명분석산법,인기집행효솔겁고적우점피엄범적응용우쾌속적지침지향분석.단해산법계산결과정도불고,득도적지침지향집왕왕유오차.침대해불족,인입료Vineet Kahlon적용구최대경신서렬래구지침별명적사상,대Steensgaard산법계산출적결과진행료수정.병통과일개실예증명료개진후적산법비선전적산법경정학.
