Forskningsoutput per år
Forskningsoutput per år
Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop
Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift › Peer review
We present property probes, a mechanism for helping a developer explore partial program analysis results in terms of the source program interactively while 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 CODEPROBER 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 |
---|---|
Artikelnummer | 111980 |
Tidskrift | Journal of Systems and Software |
Volym | 211 |
DOI | |
Status | Published - 2024 maj |
Forskningsoutput: Avhandling › Licentiatavhandling
Risberg Alaküla, A. (Forskare), Hedin, G. (Handledare), Fors, N. (Handledare) & Pop, A. (Handledare)
2021/08/16 → …
Projekt: Avhandling
Hell, M. (PI), Magnusson, B. (PI), Gehrmann, C. (CoI), Paladi, N. (Forskare), Karlsson, L. (Forskare), Sönnerup, J. (Forskare), Johnsson, B. A. (Forskare), Hedin, G. (Forskare), Nordahl, M. (Forskare), Pagnin, E. (Forskare), Kundu, R. (Forskare), Åkesson, A. (Forskare), Stankovski Wagner, P. (Forskare) & Ramezanian, S. (Forskare)
Stiftelsen för Strategisk Forskning, SSF
2018/03/01 → 2024/12/31
Projekt: Forskning