Linked Presentation: Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information
