Kontrollflussdiagramm, Inter-/Intra-Datenflussanalyse mit Roslyn, .NET Compiler Platform

Question

Ich habe gelesen, dass Roslyn weder eine native CFG-Implementierung noch eine öffentliche Inter- oder Intra-Datenflussanalyse bietet. Allerdings war das eine Quelle basierend auf Roslyn RC2, die wahrscheinlich sehr alt ist. Ist es heute noch so?

Ich versuche, Taint-Analyse zu tun, d. H. Ich sollte in der Lage sein, eine Variable zu verfolgen, nachdem sie Funktionen übergeben oder anderen Variablen zugewiesen wurde.

Jede Hilfe wird geschätzt! Vielen Dank!

Answer 1

Roslyn ab 1.2 hat nur eine begrenzte integrierte Datenflussanalyse, um die Variablen zu verstehen, die in einer Gruppe von Spannen in einer einzigen Methode verwendet werden. Dies wird für das Refactoring der "Extraktionsmethode" verwendet, um zu sehen, welche Variablen verschoben werden müssen. Sonst bist du noch alleine, wenn du etwas Größeres machen willst.