lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Feedback-driven Points-to Analysis
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics. (Software Technology Group)
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics. (Software Technology Group)ORCID iD: 0000-0001-9775-4594
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics. (Software Technology Group)ORCID iD: 0000-0002-7565-3714
2011 (English)In: 26th Symposium On Applied Computing (SAC 2011), TaiChung, March 21-24, 2011, 2011Conference paper, Published paper (Refereed)
Abstract [en]

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 strictlyordered in terms of accuracy – and from human insight, i.e., manual proofs that certain points-to relations are infeasible for every program run.

Place, publisher, year, edition, pages
2011.
Keywords [en]
Points-to analysis, expert knowledge
National Category
Computer Sciences
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-9225OAI: oai:DiVA.org:lnu-9225DiVA, id: diva2:360292
Available from: 2010-11-02 Created: 2010-11-02 Last updated: 2018-05-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Gutzmann, TobiasLundberg, JonasLöwe, Welf

Search in DiVA

By author/editor
Gutzmann, TobiasLundberg, JonasLöwe, Welf
By organisation
School of Computer Science, Physics and Mathematics
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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