Sökning: onr:"swepub:oai:DiVA.org:lnu-22027" >
Collections Framewo...
Collections Frameworks for Points-to Analysis
-
- Gutzmann, Tobias (författare)
- Linnéuniversitetet,Institutionen för datavetenskap, fysik och matematik, DFM,Software Technology Group
-
- Lundberg, Jonas (författare)
- Linnéuniversitetet,Institutionen för datavetenskap, fysik och matematik, DFM,Software Technology Group
-
- Löwe, Welf (författare)
- Linnéuniversitetet,Institutionen för datavetenskap, fysik och matematik, DFM,Software Technology Group
-
(creator_code:org_t)
- IEEE, 2012
- 2012
- Engelska.
-
Ingår i: IEEE 12th International Working Conference on Source Code Analysis and Manipulation (SCAM) 2012. - : IEEE. - 9781467323987 ; , s. 4-13
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Points-to information is the basis for many analysesand transformations, e.g., for program understanding andoptimization. Collections frameworks are part of most modern programming languages’ infrastructures and used by many applications. The richness of features and the inherent structure of collection classes affect both performance and precision of points-to analysis negatively.In this paper, we discuss how to replace original collections frameworks with versions specialized for points-to analysis. We implement such a replacement for the Java Collections Framework and support its benefits for points-to analysis by applying it to three different points-to analysis implementations. In experiments, context-sensitive points-to analyses require, on average, 16-24% less time while at the same time being more precise. Context-insensitive analysis in conjunction with inlining also benefits in both precision and analysis cost.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Points-to analysis
- collections frameworks
- Computer Science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas