PointerAnalysis.md

TABLE: Comparison of static analysis methods. PTA denotes PDGF with point-to-analysis and disabled dynamic updating. PDGF denotes the PDGF maintains the initial setting. PE denotes the number of predecessor edges.