goncurrency analysis framework

演示工具用于GO并发分析框架

基本工具由可运行的代码编辑器组成（用于游乐场软件包）。设计用于将GO代码转换为中间格式的2阶段转换，然后使用外部工具进行分析。

工具支持

• CFSM方法
  • CFSM合成
  • 论文：并发的静态僵局检测通过全局会话图合成
• 锣的方法
  • 锣安全和宽松检查器
  • 论文：围栏：基于渠道的编程的耐受性和安全性
• Godel Checker
  • Migoinfer和Godel-Checker
  • 论文：使用行为类型的静态验证框架，用于传递消息的静态验证框架

配置和用法

服务器端：HTTP处理程序

WebService处理程序是在webservice/webservice.go中定义的，定义为名称和INIT函数。 InitFunc设置HTTP处理程序路径（使用默认的http.HandleFunc ）。

 type Handler struct {
    Name     string
    InitFunc func()
}

可以通过可执行文件中的标志选择性地加载HTTP处理程序。默认情况下，只有Godel被加载。

客户端：JavaScript

事件处理程序以AJAX调用为static/script.js设置，应将响应编码为JSON对象。

• Migo（V1和V2）
  • 端点：'/migo.v1'和'/migo.v2'
  • 响应： { 'MiGo': migo_output, 'time': execution_time, 'Error': error }
• CFSM合成
  • 端点：'/cfsm'
  • 响应： { 'CFSM': cfsm_output, 'time': execution_time, 'Error': error }
• 锣
  • 端点：'/gong'
  • 响应： { 'Gong': gong_output, 'time': execution_time, 'Error': error }
• Godel Checker
  • 端点：'/godel'
  • 响应： { 'Godel': godel_output, 'time': execution_time, 'Error': error }