Summarizer.java - For flows corresponding to CallArgSinkSpecs, arguments for synthesized SSAInvokeInstructions should have their correct SSA values associated with the parameters.  For multiple sources that flow into a specific parameter, create a phi instruction and use the definition as the parameter.  For ReturnFlows, we have a similar sutation.  If there are multiple sources flowing into a single return value, create a phi instruction and return that definition instead.  We also create a cache of return definitions, so we do not return duplicate definitions.\n SSAtoXMLVisitor.java - filled in the visitPhi(SSAInstruction instruction) method to handle the creation of a summarized phi instruction.\n XMLSummaryWriter.java - added phi XML element to the list.\n TaintTransferFunctions - Dataflow for phi instructions were not handled.  Added support for phi instructions.