计算机研究与发展2023，Vol.60Issue(2) ：274-293.DOI:10.7544/issn1000-1239.202220901

Java指针分析综述

Survey on Java Pointer Analysis

谭添 马晓星 许畅 马春燕 李樾
计算机研究与发展2023，Vol.60Issue(2) ：274-293.DOI:10.7544/issn1000-1239.202220901
✕
  • NETL
  • NSTL
  • 维普
  • 万方数据

Java指针分析综述

Survey on Java Pointer Analysis

谭添 1马晓星 1许畅 1马春燕 2李樾1
扫码查看

作者信息

  • 1. 南京大学计算机科学与技术系 南京 210023;计算机软件新技术国家重点实验室(南京大学) 南京 210023
  • 2. 西北工业大学软件学院 西安 710129
  • 折叠

摘要

近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等.介绍了Java指针分析的重要内容:指针分析算法、上下文敏感、堆对象抽象、复杂语言特性处理、非全程序指针分析,特别是对近年来指针分析的研究热点选择性上下文敏感技术进行了梳理和讨论.

关键词

指针分析/别名分析/Java/静态分析/上下文敏感

引用本文复制引用

基金项目

国家自然科学基金(61932021)

国家自然科学基金(62025202)

国家自然科学基金(62002157)

航空科学基金(20185853038)

航空科学基金(201907053004)

出版年

2023
计算机研究与发展
中国科学院计算技术研究所 中国计算机学会

计算机研究与发展

CSTPCDCSCD北大核心
影响因子：2.649
ISSN：1000-1239
被引量2
参考文献量2
段落导航相关论文