Trace-Based Run-time Analysis of Message-Passing Go Programs

Martin Sulzmann, Kai Stadtmüller

We consider the task of analyzing message-passing programs by observing their run-time behavior. We introduce a purely library-based instrumentation method to trace communication e…