.png){kind=icon}
返回
Call-Graph-Based Context-Sensitive Points-to Analysis for Java
.png){kind=icon}
PRE
AI
DOI：10.1109/TR.2023.3236990.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Pointer analysis or points-to analysis (PTA) is a static program analysis for variables in a program, which determines a set of heap objects that individual variables may refer to at run time. In the literature, various types of context-sensitive analyses have been applied to improve the precision of PTA. In this article, we propose a framework that unifies existing context-sensitive PTA methods, under which we further explore more efficient ways for points-to calculation. In particular, we propose a call-graph-based context generation algorithm that combines the object-sensitive PTA and parameter-sensitive PTA approaches, and we implement the algorithm in the Soot compiler framework. Our new algorithm generates contexts for methods in a more complete and effective way, and it has been shown to achieve better precision with fewer generated contexts and less execution time than some of the known state-of-the-art context-sensitive approaches for PTA when tested with a selection of benchmarks from the DaCapo suite.
Keyword:
Context-sensitive points-to
pointer analysis
program analysis
期刊
IF:
5.7
论文数:
2.7K
被引数:
8.5K
机构
引用论文
Functional connectivity among brain networks in continuous feedback of finger force.png)
Neuroscience
NeuroscienceIF0
PREAI
分享收藏
Optimised Anaesthesia to Reduce Post Operative Cognitive Decline (POCD) in Older Patients Undergoing Elective Surgery, a Randomised Controlled TrialPLoS ONE
OAAI
PLoS ONEIF0
OAAI分享收藏分享收藏
查看更多内容