ConfigureAwait的静态分析

Question

我尝试实现静态分析，以检查该方法及其调用图是否需要UI或Request (ASP.NET)上下文。答案将决定方法主体中等待语句中对ConfigureAwait的需求。

我的计划是使用Roslyn检查调用图中每个成员访问的符号是否来自System.Windows.UIElement类。这种方法有效吗？那么对于ASP.NET上下文呢？

Answer 1

任何这类静态分析都很难正确实现。您可以使用启发式方法(例如，UIElement)，但最终可能会出现一些假阳性和/或假否定。

例如，FlowDocument不是从UIElement派生的。您可以更改启发式来测试DispatcherObject-derived类型，但这也包括Freezable，它可能需要上下文，也可能不需要上下文--在编译时不一定知道。在一般情况下，这是一个肯定的假阳性(或阴性)。

另一个例子是，向公开为数据绑定属性的集合添加项也需要上下文，即使集合不是UI元素。

ASP.NET. HttpContext.Current中也存在类似的问题，但是隐式使用当前区域性的字符串格式方法又如何呢？在ASP.NET方面也有许多“问题”。

尽管如此，我确实认为这是一个好主意；只是要确保有一个简单的方法来忽略假阳性和假阴性。

Answer 2

我认为比较相同文件中的字符串“等待”和字符串“ConfigureAwait”的数量是很简单的。

这可能很天真，但却是第一道防线。