A .NET Analysis Engine