This is an ongoing research project in Microsoft Research India focused on developing a scalable and accurate side-effects analysis for Microsoft .NET framework using modular static analysis techniques.

At this point, we have a prototype implementation which can effectively analyze large real world C# programs that make use of sophisticated .NET features like LINQ within reasonable time and memory overhead.