Java指针分析综述.PDFVIP

计算机研究与发展DOI：10.7544/issn1000-1239.202220901

Journal

of

Computer

Research

and

Development60（2）：274−293，2023

Java指针分析综述

1,21,21,231,2

谭添马晓星许畅马春燕李樾

1

（南京大学计算机科学与技术系南京210023）

2

（计算机软件新技术国家重点实验室（南京大学）南京210023）

3

（西北工业大学软件学院西安710129）

（tiantan@）

SurveyonJavaPointerAnalysis

1,2

1,2

1,2

3

1,2

Tan

Tian,

Ma

Xiaoxing,

Xu

Chang,

Ma

Chunyan,

and

Li

Yue

1

（DepartmentofComputerScienceandTechnology,NanjingUniversity,Nanjing210023）

2

（NationalKeyLaboratoryforNovelSoftwareTechnology(NanjingUniversity),Nanjing210023）

3

（SchoolofSoftware,NorthwesternPolytechnicalUniversity,Xi’an710129）

AbstractIn

recent

years,

static

program

analysis

has

become

one

of

the

key

techniques

to

ensure

the

reliability,

security

and

efficiency

of

software.

As

a

fundamental

program

analysis

technique,

pointer

analysis

provides

a

series

of

fundamental

information

about

the

program

for

static

program

analysis,

such

as

the

points-to

relations

of

any

variables

in

the

program,

alias

relations

between

variables,

program

call

graph,

and

the

reachability

of

heap

objects.

We

introduce

the

important

contents

of

Java

pointer

analysis,

including

pointer

analysis

algorithm,

context

sensitivity,

abstraction

of

heap

objects,

handling

of

complex

language

features,

non-whole

program

pointer

analysis,

especially

we

sort-out

and

discuss

selective

context

sensitivity,

which

is

the

research

hotspot

of

pointer

analysis

in

recent

years.

Keywordspointer

analysis；alias

analysis；Java；static

analysis；context

sensiti