liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Property Probes Source Code Based Exploration of Program Analysis Results
Lund Univ, Sweden.
Lund Univ, Sweden.
Lund Univ, Sweden.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0003-0091-1181
2022 (English)In: PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2022, ASSOC COMPUTING MACHINERY , 2022, p. 148-160Conference paper, Published paper (Refereed)
Abstract [en]

We present property probes, a mechanism for helping a developer interactively explore partial program analysis results in terms of the source program, and as the program is edited. A node locator data structure is introduced that maps between source code spans and program representation nodes, and that helps identify probed nodes in a robust way, after modifications to the source code. We have developed a client-server based tool supporting property probes, and argue that it is very helpful in debugging and understanding program analyses. We have evaluated our tool on several languages and analyses, including a full Java compiler and a tool for intraprocedural dataflow analysis. Our performance results show that the probe overhead is negligible even when analyzing large projects.

Place, publisher, year, edition, pages
ASSOC COMPUTING MACHINERY , 2022. p. 148-160
Keywords [en]
program analysis; debugging; property probes
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-209522DOI: 10.1145/3567512.3567525ISI: 001314208200014ISBN: 9781450399197 (print)OAI: oai:DiVA.org:liu-209522DiVA, id: diva2:1913178
Conference
15th International Conference on Software Language Engineering (SLE), Auckland, NEW ZEALAND, oct 05-10, 2022
Note

Funding Agencies|ELLIIT - Excellence Center at Linkoping-Lund on Information Technology

Available from: 2024-11-14 Created: 2024-11-14 Last updated: 2024-11-22

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Pop, Adrian
By organisation
Software and SystemsFaculty of Science & Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 91 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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