Proceedings of the 2015 International Symposium on Computers & Informatics

An Effective Approach of Points-To Analysis

Authors
Yuping Zhang, Zhaori Deng, Xiaoning Zhang, Yan Ma
Corresponding Author
Yuping Zhang
Available Online January 2015.
DOI
10.2991/isci-15.2015.267How to use a DOI?
Keywords
Optimization; Invocation; Context-sensitive process; Points-to analysis; Cycle elimination; Call graph
Abstract

Aim at the potential that the time efficiency of the technology of Cycle elimination for invocation graph-based context-sensitive pointer analysis can be improved. Through using wave and deep propagation method, which is the state-of-the-art techniques of Inclusion Based Pointer Analysis on-line optimization Technology, to optimize the technology of cycle elimination for invocation graph-based context-sensitive pointer analysis, and then puts forward a context-sensitive wave and deep propagation algorithm. First, introduces the definition and initialization of new constraint graph; secondly, through an example to describe the context-sensitive wave and deep propagation, which can accurately and efficiently realize context-sensitive pointer analysis; finally, use the CIL tool for experiment, the experimental results show that these new algorithms save about 9s or 10s when the original technology and the new algorithm are all analyzing the same large scale program.

Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2015 International Symposium on Computers & Informatics
Series
Advances in Computer Science Research
Publication Date
January 2015
ISBN
978-94-62520-56-1
ISSN
2352-538X
DOI
10.2991/isci-15.2015.267How to use a DOI?
Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Yuping Zhang
AU  - Zhaori Deng
AU  - Xiaoning Zhang
AU  - Yan Ma
PY  - 2015/01
DA  - 2015/01
TI  - An Effective Approach of Points-To Analysis
BT  - Proceedings of the 2015 International Symposium on Computers & Informatics
PB  - Atlantis Press
SP  - 2038
EP  - 2045
SN  - 2352-538X
UR  - https://doi.org/10.2991/isci-15.2015.267
DO  - 10.2991/isci-15.2015.267
ID  - Zhang2015/01
ER  -