​微软专家推出 AI 工具,能自动发现代码中的 Bug