Flow Sensitivity Without CFG: An Efficient Andersen-Style Pointer Analysis