soot數據流 -- 指向分析（points-to）

1、基本的介紹 1.指向分析的目標 給定一個變量的函數，計算其可能的類型，指向信息。 java 2.意義： 指向分析爲其餘的分析提供了支持。（好比，別名分析（Alias analysis），以及提升call graph的準確度） web 3.構建框架 3.1.必要的接口 soot提供了PointsToAnalysis ，PointsToSet接口。任何一個指向的分析都應該實現這兩個接口。 Poi

>>阅读原文<<