इसका टेक्स्ट मैसेज भेजे: Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic