Roslyn ile koddaki kapatmalar nasıl algılanır?

Question

Lambda gövdesindeki x referansının, bir değişken yerelden lambda'nın kendisine değil, x dış değişkeninin kapanmasına neden olduğunu tespit edebilir miyim (roslyn kullanarak)?

var x = "foo"; 
var a = string[0]; 
a.Any(i => i == x); 

Answer 1

Yup. DataFlowAnalysis API'sini kullanabilirsiniz.

var tree = CSharpSyntaxTree.ParseText(
    @" 
class C{ 
void M(){ 
    var x = ""foo""; 
    var a = new string[0]; 
    var testing = a.Any(i => i == x); 
} 
} 
"); 
var Mscorlib = PortableExecutableReference.CreateFromAssembly(typeof(object).Assembly); 
var compilation = CSharpCompilation.Create("MyCompilation", 
    syntaxTrees: new[] { tree }, references: new[] { Mscorlib }); 
var model = compilation.GetSemanticModel(tree); 

var lambda = tree.GetRoot().DescendantNodes().OfType<LocalDeclarationStatementSyntax>().Last(); 

var dataFlowAnalysis = model.AnalyzeDataFlow(lambda); 
var capturedVariables = dataFlowAnalysis.Captured; 

foreach(var variable in capturedVariables) 
{ 
    //Do something 
} 

Answer 2

https://github.com/mjsabby/RoslynClrHeapAllocationAnalyzer/blob/master/ClrHeapAllocationsAnalyzer/DisplayClassAllocationAnalyzer.cs#L58

(1) alın Semantik Model

(2) için AnonymousMethodExpressionSyntax/SimpleLambdaExpressionSyntax/ParenthesizedLambdaExpressionSyntax kontrol

(3) AnalyzeDataFlow bu düğüm geçmek SemanticMode üzerinde uzatma yöntemi l

(4) yineleme .Captured özelliği