地鼠

Gopherlyzer:基于静态跟踪的同步Mini-Go死锁分析。研究了利用同步信道通信的Go程序设计语言的静态死锁检测问题。在我们的分析中,用fork运算符扩展的正则表达式捕捉程序的通信行为。从描述无死锁程序轨迹的简单标准开始,我们开发了基于自动机的方法来检查无死锁。通过一系列实例对该方法进行了实现和评价。