lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Comparison of Points-to Analyses
Växjö University, Faculty of Mathematics/Science/Technology, School of Mathematics and Systems Engineering.
2008 (English)Independent thesis Advanced level (degree of Master (One Year)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Points-to analysis is a static program analysis which computes possible reference relations between different parts of a program. It serves as input to many high-level analyses. Points-to analyses differ, among others, in flow- and context-sensitivity, program representation, and object abstraction. Most program representations used for points-to analysis are sparse representations which abstract from, e.g., primitive data types and intra-procedural control-flow. Thus, a certain degree of information is sacrificed for compact program representation, which results in scalable performance. In this thesis, we present a framework which allows building different versions of Points-to SSA (P2SSA), a sparse, Memory SSA based program representation. Distinct instantiations of P2SSA contain different levels of abstraction from a program's full representation. We present another framework which allows running Points-to analyses on these program representations. We use these two frameworks to instantiate different versions of P2SSA and compare them in terms of analysis precision and execution time.

Place, publisher, year, edition, pages
2008. , p. 64
Series
Reports from MSI, ISSN 1650-2647 ; 08012
Keywords [en]
Dataflow analysis, Points-to analysis
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:vxu:diva-2401OAI: oai:DiVA.org:vxu-2401DiVA, id: diva2:206335
Uppsok
teknik
Supervisors
Examiners
Available from: 2008-11-06 Created: 2008-11-06 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(745 kB)275 downloads
File information
File name FULLTEXT01.pdfFile size 745 kBChecksum MD5
37104d7eaac205fb47dd9e699b82e6f711d878479058f22c2c944c615914eeda90e2e1cb
Type fulltextMimetype application/pdf

By organisation
School of Mathematics and Systems Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 275 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 214 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf