Explicit and symbolic techniques for fast and scalable points-to analysis

Keyphrases

• Point Analysis 100%
• Set Representation 100%
• Symbolic Techniques 100%
• Explicit Techniques 100%
• Explicit Representation 66%
• Explicit Approach 66%
• Vector Set 66%
• Binary Decision Diagram 66%
• Points-to Set 66%
• Bit Vector 66%
• Problem Solving 33%
• Problem Analysis 33%
• Java Application 33%
• Java 33%
• Benchmark Applications 33%
• Memory Footprint 33%
• Benchmark Suite 33%
• Fast Analysis 33%
• Open Area 33%
• Symbolic Approach 33%
• Symbolic Representation 33%
• Standard Library 33%
• Scalable Analysis 33%
• Dacapo 33%
• Worklist 33%
• Inclusion-based Points-to Analysis 33%

Computer Science

• Explicit Representation 100%
• binary decision diagram 100%
• Bit Vector 100%
• Sparse Representation 50%
• Fixed Points 50%
• Java Application 50%
• Application Benchmark 50%
• Memory Footprint 50%
• Symbolic Approach 50%
• Standard Library 50%
• Problem Analysis 50%
• Dacapo Benchmark 50%