أرسل هذا في رسالة قصيرة: Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic