Feedback-driven points-to analysis

Authors:
Tobias Gutzmann;Jonas Lundberg;Welf Löwe
Affiliations:
Linnaeus University, Växjö, Sweden;Linnaeus University, Växjö, Sweden;Linnaeus University, Växjö, Sweden
Venue:
Proceedings of the 2011 ACM Symposium on Applied Computing
Year:
2011

Citing 4
Cited 0

Parameterized object sensitivity for points-to analysis for Java

ACM Transactions on Software Engineering and Methodology (TOSEM)
Fast and precise points-to analysis

Information and Software Technology
Towards Comparing and Combining Points-to Analyses

SCAM '09 Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation
Context-Sensitive points-to analysis: is it worth it?

CC'06 Proceedings of the 15th international conference on Compiler Construction

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this paper, we present feedback-driven points-to analysis where any classical points-to analysis has its points-to results at certain program points guarded by a-priori upper bounds. Such upper bounds can come from other points-to analyses -- this is of interest when different approaches are not strictly ordered in terms of accuracy -- and from human insight, i.e., manual proofs that certain points-to relations are infeasible for every program run.