Package vasco.callgraph

Class Summary
CallGraphTransformer A Soot SceneTransformer for performing PointsToAnalysis.
PointsToAnalysis An inter-procedural analysis for constructing a context-sensitive call graph on-the-fly.
PointsToGraph A data flow value representation for points-to analysis using allocation sites.
Test A main class for testing call graph construction using a Flow and Context Sensitive Points-to Analysis (FCPA).