Soot 靜態分析框架（六）數據流指向分析

1. 數據流指向分析 1.1 指向分析 指向分析，給定一個變量的函數，計算其可能的類型，指向信息，指向分析可以幫助其它的分析。 1.2 Soot的指向分析框架 soot提供了PointsToAnalysis ,PointsToSet接口。任何一個指向的分析都應該實現這兩個接口。  PointsToAnalysis 方法reachingObjects(Local l),該方法可以返回指向參數l 的對

>>阅读原文<<