swMATH ID: 23206
Software Authors: Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
Description: Gopherlyzer: Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. We consider the problem of static deadlock detection for programs in the Go programming language which make use of synchronous channel communications. In our analysis, regular expressions extended with a fork operator capture the communication behavior of a program. Starting from a simple criterion that characterizes traces of deadlock-free programs, we develop automata-based methods to check for deadlock- freedom. The approach is implemented and evaluated with a series of examples.
Homepage: https://github.com/KaiSta/gopherlyzer
Source Code: https://github.com/KaiSta/gopherlyzer
Related Software: go; TyPiCal; GitHub; RacerX; SPEC; BPGen; Akkaprof; AUSPICE-R; Eliom; Python
Cited in: 2 Publications

Citations by Year