%PDF-1.4 % 4 0 obj << /S /GoTo /D (chapter.1) >> endobj 7 0 obj (Introduction) endobj 8 0 obj << /S /GoTo /D (chapter.2) >> endobj 11 0 obj (Background and Motivation) endobj 12 0 obj << /S /GoTo /D (section.2.1) >> endobj 15 0 obj (Heap Liveness Analysis using Access Graphs) endobj 16 0 obj << /S /GoTo /D (section.2.2) >> endobj 19 0 obj (Need for Alias Analysis) endobj 20 0 obj << /S /GoTo /D (section.2.3) >> endobj 23 0 obj (Issues in Interprocedural Analysis) endobj 24 0 obj << /S /GoTo /D (chapter.3) >> endobj 27 0 obj (Abstract Heap Representations) endobj 28 0 obj << /S /GoTo /D (section.3.1) >> endobj 31 0 obj (Merging on Common Allocation Sites) endobj 32 0 obj << /S /GoTo /D (section.3.2) >> endobj 35 0 obj (Distinguishing between Access Patterns) endobj 36 0 obj << /S /GoTo /D (chapter.4) >> endobj 39 0 obj (Liveness-Driven Heap Analysis) endobj 40 0 obj << /S /GoTo /D (section.4.1) >> endobj 43 0 obj (Accessor Relationship Graph) endobj 44 0 obj << /S /GoTo /D (section.4.2) >> endobj 47 0 obj (Properties and Operations) endobj 48 0 obj << /S /GoTo /D (section.4.3) >> endobj 51 0 obj (Data Flow Analysis) endobj 52 0 obj << /S /GoTo /D (section.4.4) >> endobj 55 0 obj (Precision of Liveness Analysis) endobj 56 0 obj << /S /GoTo /D (chapter.5) >> endobj 59 0 obj (Interprocedural Analysis using Value Contexts) endobj 60 0 obj << /S /GoTo /D (section.5.1) >> endobj 63 0 obj (Algorithm) endobj 64 0 obj << /S /GoTo /D (section.5.2) >> endobj 67 0 obj (Example) endobj 68 0 obj << /S /GoTo /D (chapter.6) >> endobj 71 0 obj (Implementation) endobj 72 0 obj << /S /GoTo /D (section.6.1) >> endobj 75 0 obj (Generic Access Graph Library) endobj 76 0 obj << /S /GoTo /D (section.6.2) >> endobj 79 0 obj (Generic Interprocedural Analysis Framework) endobj 80 0 obj << /S /GoTo /D (section.6.3) >> endobj 83 0 obj (Dynamic Heap Pruning using the Java Debug Interface) endobj 84 0 obj << /S /GoTo /D (section.6.4) >> endobj 87 0 obj (Points-To Analysis for Call Graph Construction) endobj 88 0 obj << /S /GoTo /D (chapter.7) >> endobj 91 0 obj (Related Work) endobj 92 0 obj << /S /GoTo /D (chapter.8) >> endobj 95 0 obj (Conclusion \046 Future Work) endobj 96 0 obj << /S /GoTo /D (section.8.1) >> endobj 99 0 obj (Status of Implementation) endobj 100 0 obj << /S /GoTo /D (section.8.2) >> endobj 103 0 obj (Shape Analysis using Access Graphs) endobj 104 0 obj << /S /GoTo /D [105 0 R /Fit ] >> endobj 107 0 obj << /Length 574 /Filter /FlateDecode >> stream xڅT˲0+L1~q7n&R1C9N:PdG::CPzܐb UeLb(%X $UXm]i4wqni-RDo>4!:^C9C @ț4cU4d[89)) {\`(JE(ro-d$2)T`J|viwh<Ey+c `om{0.fy4n7?'ۛ9JF=Db0 ˗"WF{ & A0Ӕ~ڮ>]H\Tl>]-rk%|1]5ޜb"3P".jؽAHD)'`ƓBsY*V4Jsε> .x=D>W:t0{ߘ?CQDĂc`^0)L ^jހU,;X\Zh͜[/\m1xe ~ю |)"Ι\o,@DxFy:7=)- endstream endobj 105 0 obj << /Type /Page /Contents 107 0 R /Resources 106 0 R /MediaBox [0 0 595.276 841.89] /Parent 113 0 R >> endobj 108 0 obj << /D [105 0 R /XYZ 71 773.346 null] >> endobj 109 0 obj << /D [105 0 R /XYZ 72 733.89 null] >> endobj 106 0 obj << /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F19 110 0 R /F17 111 0 R /F21 112 0 R >> /ProcSet [ /PDF /Text ] >> endobj 116 0 obj << /Length 815 /Filter /FlateDecode >> stream xuUKo0W(Mbk!= ;(bQ@ߏ4dHd<,yM%}RɲyQ$.ڴA<ޕzq:-r?'p,*GE2yZ&MN[pW[~T %;yâޤ3ӌYY,K'üf?R{r, ]FW#)eu+ByYF\w,J)pn<T2oAnh
֊j=< !&$BBe'uO"V8!t}PHWHHгeٻI vF)FtNX iޱ̣\,\ fV6B E]%a@>q&_8c26YO,}sOfK_ƧYhחG5,BUBG9j [NUnQ@NHkՁ +cj=d{H[Epc<ɉ[$Yǁ@IҒ5D9hFG&$%^^>&p