Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers