Searching New tools from Microsoft Research help developers write bug-free code, faster…