Visualising the Output of the Static Analyser Goblint
Name
Karl-Mattias Tepp
Abstract
Goblint is a static data race analyzer for multithreaded programs written in C. The goal of this thesis is to improve the usability of Goblint by improving the readability of its output. A strategy for better race warning representation was found and implemented in a separate tool that simplifies Goblint's output. Beliefs are formed based on observed pairings of memory accesses with associated locks. The results are then sorted according to the strength of the belief, prioritizing the most apparent mistakes that violate strong beliefs. The new result is less than a third of the original, and more importantly, beliefs are used to pinpoint the access that is most likely the cause of a potential race. This is a significant improvement over the current Goblint output, which reports all accesses and requires the user to find faulty locations manually.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Vesal Vojdani, PhD
Defence year
2017