文件名称：论文研究-面向软件可信性的可信指针分析技术综述.pdf
文件大小：250KB
文件格式：PDF
更新时间：2022-08-11 17:48:57
软件可信,程序分析技术,可信指针分析,流敏感分析,上下文敏感分析
对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过对现有可信指针分析技术的分析和比较，详细讨论了面向软件可信性的可信指针分析的关键技术;此外,重点介绍了流敏感指针分析及上下文敏感指针分析的方法和理论;最后对进一步研究工作的方向进行了展望。