Projekt per år
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åk | engelska |
---|---|
Titel på värdpublikation | Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022. SLE 2022. |
Redaktörer | Bernd Fischer, Lola Burgueno, Walter Cazzola |
Förlag | Association for Computing Machinery (ACM) |
Sidor | 148-160 |
Antal sidor | 13 |
ISBN (elektroniskt) | 9781450399197 |
DOI | |
Status | Published - 2022 nov. |
Evenemang | 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 - Auckland, Nya Zeeland Varaktighet: 2022 dec. 6 → 2022 dec. 7 |
Publikationsserier
Namn | SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 |
---|
Konferens
Konferens | 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 |
---|---|
Land/Territorium | Nya Zeeland |
Ort | Auckland |
Period | 2022/12/06 → 2022/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.Projekt
- 1 Aktiva
-
Cloud Based Language Tooling
Risberg Alaküla, A. (Forskare), Hedin, G. (Handledare), Fors, N. (Handledare) & Pop, A. (Handledare)
2021/08/16 → …
Projekt: Avhandling