Fast Pointsto Analysis for Languages with Structured Types语言结构类型的快速分析.pptVIP

Fast Points-to Analysis for Languages with Structured Types Michael Jung and Sorin A. Huss Integrated Circuits and Systems Lab. Department of Computer Science Technische Universit?t Darmstadt, Germany Outline Motivation – Code Motion Motivation – Partial Evaluation Storage Shape Graphs Concepts of Steensgaard‘s PTA Points-to Analysis Comparison I Points-to Analysis Comparison II Data Structures Relations Constraints Deduction Example Results Conclusions We propose an improvement to Steensgard‘s PTA, of which we feel confident that it is more precise than, as fast as, conceptually simpler a