面向软件可信性的可信指针分析技术综述

摘要

对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述.通过对现有可信指针分析技术的分析和比较,详细讨论了面向软件可信性的可信指针分析的关键技术；此外,重点介绍了流敏感指针分析及上下文敏感指针分析的方法和理论；最后对进一步研究工作的方向进行了展望.%This paper reviewed the definition and description of trustworthy pointer analysis technology, the protection of pointer analysis on software reliability, the analysis attributes of trustworthy pointer and the main research on this field. Through the analysis and comparison of the existing trustworthy pointer analysis technologies, the paper specifically discussed the key technology of trustworthy pointer analysis for software reliability. Additionally, it focused on the methods and theories of flow sensitive pointer analysis and context sensitive pointer analysis. At last, it discussed the outlook of the direction of further research.