近日，北京北大軟件工程股份有限公司兩項發明專利——“一種基于值依賴圖的污染數據分析方法、系統與電子設備” “C/C++程序中不可達代碼的靜態檢測方法及系統”獲國家知識產權局授權。

一種基于值依賴圖的污染數據分析方法、系統與電子設備

難點攻克：現有靜態污染數據分析方法基于數據流分析或符號執行技術，精度較低或存在路徑爆炸問題，難以用于大規模、全程序的高精度靜態污點分析。本發明為污染數據相關分析提供了一種基于守衛值依賴圖的模型，保證了污染數據按需傳播分析的全面性、精確性。

應用價值：本發明為缺陷、漏洞的精確檢測提供定義源和污染傳播路徑，使得對污染數據引起的漏洞，以及其它Source-Sink模式的漏洞檢測更加準確。通過使用本發明提供的擴展接口，同時能夠支持新型缺陷和漏洞檢測的定制開發。

C/C++程序中不可達代碼的靜態檢測方法及系統

難點攻克：現有的定理證明、抽象解釋、符號執行、模式匹配等方法支持檢測不可達代碼，但往往速度較低，或者精度較低。本發明提出控制依賴圖和值依賴圖相結合的模型，將函數內的控制依賴關系傳播至函數間的稀疏值依賴模型中并進行迭代，既實現了高效的計算，也實現了準確的守衛關系傳播。

應用價值：本發明通過去除程序的不可達路徑，在跨函數缺陷和漏洞的檢測精度上超過了符號執行技術，具有較低的誤報率和漏報率；支持千萬行級別的不可達代碼檢測，每小時檢測速度超過兩百萬行。

本次專利授權，增強了北大軟件技術核心競爭力，為未來發展提供了強有力的科技支撐。這些成果來之不易，是對北大軟件自主創新的肯定。

未來，北大軟件將繼續加大研發投入以及加強自身技術創新能力，繼續利用自身技術優勢，為科技賦能行業應用貢獻自己一份力量。

總結

以上是生活随笔為你收集整理的厉害！北大软件2项科技成果荣获专利授权的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。