Description: Static Deadlock Detection and Resolution in Go Programs. The tool first takes takes Go source code and transforms it into Mini-Go, a communication-centred version of the original Go program, Then, GoDDaR converts it into a CCS expression (a process in the language of the Calculus of Communicating Systems). Over the CCS representation of the Go program, the tool determines if any deadlock exists. For each deadlock found, one of two strategies can be applied to resolve the deadlock. GoDDaR repeats through the deadlock detection and resolution steps until no deadlocks are found. The resulting resolved program can be returned in either CCS as Go code, highlighting what to remove and what to add to solve the original deadlock.

Developed at: NOVA, UOM

Contacts: aravara@fct.unl.pt

Available at: https://github.com/JorgeGCoelho/GoDDaR