南京理工大学邓颖获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉南京理工大学申请的专利基于控制流分析的Golang应用同步原语阻塞并发缺陷检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115858376B 。
龙图腾网通过国家知识产权局官网在2025-08-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211641524.X，技术领域涉及：G06F11/3698；该发明授权基于控制流分析的Golang应用同步原语阻塞并发缺陷检测方法是由邓颖;宋巍设计研发完成，并于2022-12-20向国家知识产权局提交的专利申请。
本基于控制流分析的Golang应用同步原语阻塞并发缺陷检测方法在说明书摘要公布了：本发明公开了一种基于控制流分析的Golang应用同步原语阻塞并发缺陷检测方法，以Golang源程序作为输入，输出程序中可能存在的阻塞型并发缺陷的信息；输入的源程序首先将被编译为静态单一赋值中间层代码；通过分析中间层代码以获取每个函数的控制流信息以及程序的调用关系；将提取出同步原语在程序中使用的上下文信息；利用过程内控制流分析和callgraph分析来对同步操作之间的执行关系进行分析；通过同步原语的类型以及同步操作之间的控制流，利用相应的缺陷检测器进行检测，最后输出程序中含有的阻塞型并发缺陷的具体信息。本发明提出的方法，能全面、高效地检测Golang应用程序中阻塞型并发缺陷。
本发明授权基于控制流分析的Golang应用同步原语阻塞并发缺陷检测方法在权利要求书中公布了：1.一种基于控制流分析的Golang应用同步原语阻塞并发缺陷检测方法，以Golang应用的源文件作为输入，以检测到的阻塞型并发缺陷为输出结果，其特征在于，检测方法如下： 静态预分析：使用SSApackage将待测Golang应用的源代码编译为中间层代码SSA的形式，基于SSA，得到Golang应用代码中的controlflowgraph以及构建出函数的callgraph； 同步原语的分析：在静态预分析的基础之上，分析出同步原语使用的上下文，保存得到每一个同步操作的上下文信息；再利用并发分析和支配分析获取同步操作之间的执行关系； 检测器验证：通过对程序的预分析与同步原语的分析，将检测范围划分为仅与同步原语相关的部分；之后根据不同的同步原语所对应的不同的检测算法，交由不同的检测器检测验证，获得并输出程序中的阻塞型并发缺陷的有关信息。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京理工大学，其通讯地址为：210094 江苏省南京市孝陵卫200号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号