Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Property Probes : Source Code Based Exploration of Program Analysis Results

Risberg Alaküla, Anton LU orcid ; Hedin, Görel LU orcid ; Fors, Niklas LU orcid and Pop, Adrian (2022) 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022 In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 p.148-160
Abstract

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... (More)

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.

(Less)
Please use this url to cite or link to this publication:
author
; ; and
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
debugging, program analysis, property probes
host publication
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022. SLE 2022.
series title
SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022
editor
Fischer, Bernd ; Burgueno, Lola and Cazzola, Walter
pages
13 pages
publisher
Association for Computing Machinery (ACM)
conference name
15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022
conference location
Auckland, New Zealand
conference dates
2022-12-06 - 2022-12-07
external identifiers
  • scopus:85146978629
ISBN
9781450399197
DOI
10.1145/3567512.3567525
project
Cloud Based Language Tooling
language
English
LU publication?
yes
id
5e9ebe0d-7ea2-4912-9483-7cab5a808ee1
date added to LUP
2023-02-14 10:44:23
date last changed
2023-11-21 16:20:48
@inproceedings{5e9ebe0d-7ea2-4912-9483-7cab5a808ee1,
  abstract     = {{<p>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.</p>}},
  author       = {{Risberg Alaküla, Anton and Hedin, Görel and Fors, Niklas and Pop, Adrian}},
  booktitle    = {{Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022. SLE 2022.}},
  editor       = {{Fischer, Bernd and Burgueno, Lola and Cazzola, Walter}},
  isbn         = {{9781450399197}},
  keywords     = {{debugging; program analysis; property probes}},
  language     = {{eng}},
  pages        = {{148--160}},
  publisher    = {{Association for Computing Machinery (ACM)}},
  series       = {{SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022}},
  title        = {{Property Probes : Source Code Based Exploration of Program Analysis Results}},
  url          = {{http://dx.doi.org/10.1145/3567512.3567525}},
  doi          = {{10.1145/3567512.3567525}},
  year         = {{2022}},
}