Method and system for interprocedural side effect analysis Grant US-7062759-B2 United States of America 13 Jun 2006