温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种基于控制流分析的Golang应用同步原语阻塞并发缺陷检测方法，以Golang源程序作为输入，输出程序中可能存在的阻塞型并发缺陷的信息；输入的源程序首先将被编译为静态单一赋值中间层代码；通过分析中间层代码以获取每个函数的控制流...
该专利属于南京理工大学所有，仅供学习研究参考，未经过南京理工大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。