// a step towards soundness. not precise. trust level matters: medium|low public void Run() { string input = FlowBlot.Model.Framework.Source(); IShoppingCart cart = ShoppingCartFactory.FetchCart(); IItem milk = ItemFactory.FetchMilk(); milk.SetName(input); cart.PutItem(milk); IItem anItem = cart.FetchItem(0); /*FLOW:Flow_00073 - A more complex 3rd-party code taint propagation:codethreat.flowblot.benchmark:0+:FIND_ISSUE:1: * STEP_PATH:ABC */ FlowBlot.Model.Framework.Sink(anItem.GetName()); }