Property Probes: Live Exploration of Source Code Analysis

Forskningsoutput: AvhandlingLicentiatavhandling

100 Nedladdningar (Pure)

Sammanfattning

Source code analysis is ubiquitous in the development of software tools, for example in compilers to detect compile-time errors and possible optimizations, in
IDEs to provide interactive coding assistance, and in stand-alone analysis tools to
detect bugs. There are several techniques that have been developed to help the
analysis developer, including one called Reference Attribute Grammars (RAGs).
With RAGs, the developer specifies functionality for their analysis as a set of high
level equations. The concern of how to apply the equations is abstracted away,
and handled by a RAG evaluation system. This abstraction can enable more concise and efficient implementations, but also calls for adequate debugging tools.
When things break down, being able to see how things execute in terms of these
abstractions helps the developer identify and fix issues.
The aim of this thesis is to provide source code analysis developers with a live,
exploratory view of the inner workings of their analyses. We are particularly interested in helping developers using the RAG formalism. In this thesis, we introduce
the concept of property probes to support this goal. Property probes enable efficient and robust interaction with computation associated with nodes on abstract
syntax trees (ASTs). The different kinds of probes, and associated algorithms for
creating and applying them, are presented in this thesis. We also present benchmarks showing that performance scales well for real-world development tasks.
We have implemented property probes in a tool called CODEPROBER. CODEPROBER has been integrated into two university courses on compilers and program
analysis, as an aid during lab assignments. We wanted to determine the use- and
user experience of the students that used it, and to this end we performed a mixedmethod user study with students from the program analysis course. The focus of
the study is a set of in-person interviews, and the overall feedback from students
has been very positive.
Originalspråkengelska
KvalifikationLicentiat
Tilldelande institution
  • Institutionen för datavetenskap
Handledare
  • Hedin, Görel, handledare
  • Fors, Niklas, Biträdande handledare
  • Pop, Adrian, Biträdande handledare, Extern person
Tilldelningsdatum2024 okt. 30
Förlag
ISBN (tryckt)978-91-8104-221-4
ISBN (elektroniskt)978-91-8104-222-1
StatusPublished - 2024 okt. 9

Ämnesklassifikation (UKÄ)

  • Programvaruteknik

Citera det här