南京理工大學鄧穎獲國家專利權
買專利賣專利找龍圖騰，真高效！ 查專利查商標用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號