Interprocedural and Intraprocedural Analysis