Return to Article Details Interprocedural Control Flow Analysis (Extended version) Download Download PDF