Interprocedural Side Effect Analysis With Pointer Aliasing