• Introduction
• Running geomPTA
• Querying
• Querying with SPARK interface
• Querying with geomPTA interface
• k-CFA query
• Query with sketched contexts
• Is alias query
• Conclusion and remark