APointer Analysis for Speculative Optimization A Probabilistic Pointer Analysis for Speculative Optimization