A safe approximate algorithm for interprocedural pointer aliasing