private static IEnumerable <SourceLocationInfo> GetSourceLocationsFromCall(string CheckProcedureName, string CalleeName) { Program originalProgram = GVUtil.GetFreshProgram(CommandLineOptions.Clo.Files, false, false); var Bodies = originalProgram.Implementations.Where(Item => Item.Name.Equals(CalleeName)).ToList(); if (Bodies.Count == 0) { return(new HashSet <SourceLocationInfo>()); } return(GetSourceLocationsFromBlocks(CheckProcedureName, Bodies[0].Blocks)); }
private static Program GetOriginalProgram() { return(GVUtil.GetFreshProgram(CommandLineOptions.Clo.Files, false, false)); }