技術(shù)特征：

技術(shù)總結(jié)
本發(fā)明提供一種指針修改影響的分析方法和系統(tǒng)，所述方法包括：在程序代碼中查找該語句中變量的等價(jià)變量，并查找該等價(jià)變量所有的定義點(diǎn)，構(gòu)成分析結(jié)果集合；基于定義點(diǎn)、語句以及程序入口的關(guān)系，獲得對(duì)應(yīng)該定義點(diǎn)的多個(gè)路徑條件；以及判斷所有所述路徑條件是否可同時(shí)滿足，若不可同時(shí)滿足，則將該定義點(diǎn)從所述分析結(jié)果集合中剔除。本發(fā)明提高結(jié)果的精度，做到了部分路徑敏感以及流敏感，使采用該分析算法的靜態(tài)代碼缺陷檢測(cè)結(jié)果更加精確。

技術(shù)研發(fā)人員：馬森;岳貫集;張世琨;高慶
受保護(hù)的技術(shù)使用者：北京北大軟件工程股份有限公司
技術(shù)研發(fā)日：2017.03.27
技術(shù)公布日：2017.08.22