Infer powering Microsoft’s Infer#, a new static analyzer for C# | Heykuki News