PPT-Demand-Driven Context-Sensitive Alias Analysis for Java

Dacong Tony Yan Guoqing Harry Xu Atanas Rountev Ohio State University PRESTO Program Analyses and Software Tools Research Group Ohio State University Alias Analysis Many static analysis tools need highly precise and efficientlycomputed alias information. clcamacukteachingcurrentOptComp Lecture 13a Alias and Pointsto Analysis Lecture 13a brPage 2br UNIVERSITYOF CAMBRIDGE Pointsto analysis parallelisation etc Consider an MP3 player containing code for channel 0 channel 2 channel processaudiochannel o Running the 64bit native version requires Windows 8 64bit or Windows 7 64bit operating system Certain 3rd party software may alter the processor affini ty settings affecting multicpu systems running Aliasexe and its spawned processes To check the af Roger L. Costello. February 16, 2014. 1. Objective: . Show that Type 2 is a subset of Type 1. 2. Grammars: a brief refresher. A grammar is a concise way to specify a language.. A language is a set of strings.. B. . Steensgaard: . Points-to Analysis in Almost Linear Time. .. POPL 1996. M. Hind. : . Pointer analysis: haven't we solved this problem yet. ?.  . PASTE 2001. Presented by Ronnie . Barequet. 23.03.14. Prof. O. . Nierstrasz. Thanks to Jens . Palsberg. and Tony Hosking for their kind permission to reuse and adapt the CS132 and CS502 lecture notes.. http://www.cs.ucla.edu/~palsberg/. http://www.cs.purdue.edu/homes/hosking/. static program analysis to. improve the performance. of runtime monitoring. Eric Bodden. Laurie . Hendren. Ondrej. . Lhotak. McGill University. University of Waterloo. Tale of the industry programmer. PRESTO: Program Analyses and Software Tools Research Group, Ohio State University. Dacong. Yan. 1. , . Guoqing. Xu. 2. , . Atanas. Rountev. 1. 1. . Ohio State University. 2. . University of California, Irvine. *p and i alias Parameter passing by reference (e.g., in Pascal)procedure proc1(var a:integer; var b: } Heap allocated objectsn = new Node;n-data = x;n-ne i1 and i2?Can c[i1] and c[i2] alias?Javacc71 COS 320. Compiling Techniques. Princeton University . Spring . 2016. Lennart . Beringer. Motivation. Do pointers p and q alias?. Can I eliminate this store instruction?. Can pointer x be NULL . here. Dacong. (Tony) Yan. Guoqing (Harry) Xu. Atanas. . Rountev. Ohio State University. PRESTO: Program Analyses and Software Tools Research Group, Ohio State University. Alias Analysis. Many static analysis tools need highly precise and efficiently-computed alias information. end only I X = h I (R 1 X t = t t~ F t (X 1 h I R l R t F I ..... F t .... X t in V ones. The ( ) but the 3 n / V a be a k l]'-function V 1 h is e il) R is a ~ is i = (hi,Ri), l~ i~ t. DEFINITION 2 V Multiple language front-ends end only I X h I R 1 X t t t F t X 1 h I R l R t F I F t X t in V ones The but the 3 n / V a be a k l-function V 1 h is e il R is a is i hiRi l i t DEFINITION 2 V I t E-1T V k V 1 1 w q1 u2 V- Hongtao Yu Zhaoqing Zhang Xiaobing Feng Wei Huo. Institute of Computing Technology, Chinese Academy of Sciences. { htyu, zqzhang, fxb, huowei }@ict.ac.cn. . 1. Jingling . Xue. University of New South Wales.