VDG值依賴分析技術

北大軟件CoBOT（庫博）是具有自主知識產權的靜態檢測工具。在2013年獲得了計算機軟件著作權，基於值依賴分析的C程序缺陷靜態檢測系統。很多同行對值依賴分析的概念可能不是太清楚，今天我們主要分析一下這個技術。 值依賴分析是建立在值流模型基礎之上的，值流模型最早由Horwitz提出，值流圖中結點與結點之間的連線表示的是數據流分析中的定值使用關係。值流依賴表示由於定值-使用連接的依賴關係。值流依賴關係

>>阅读原文<<