Lian is a next-generation, high-precision program analysis framework designed for multi-language environments. It aims to deliver unified and powerful program analysis capabilities across diverse ...

Microsoft Research conducts fundamental science and technology research across a spectrum of research areas. With labs around the globe we pursue breakthroughs across the computing and AI stack to ...