Property Probes: Source Code Based Exploration of Program Analysis Results

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

Sammanfattning

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.

Originalspråkengelska
Titel på värdpublikationProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022. SLE 2022.
RedaktörerBernd Fischer, Lola Burgueno, Walter Cazzola
FörlagAssociation for Computing Machinery (ACM)
Sidor148-160
Antal sidor13
ISBN (elektroniskt)9781450399197
DOI
StatusPublished - 2022 nov.
Evenemang15th 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 - Auckland, Nya Zeeland
Varaktighet: 2022 dec. 62022 dec. 7

Publikationsserier

NamnSLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022

Konferens

Konferens15th 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
Land/TerritoriumNya Zeeland
OrtAuckland
Period2022/12/062022/12/07

Ämnesklassifikation (UKÄ)

  • Data- och informationsvetenskap

Fingeravtryck

Utforska forskningsämnen för ”Property Probes: Source Code Based Exploration of Program Analysis Results”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här