一种改进的指针安全分析算法

作者：郭曦 何炎祥 张焕国 胡颖 加米拉·沙塔尔指针安全数据流分析steensgaard算法精度

摘要：指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社