我了解到 Roslyn 不提供原生 CFG 实现,也不提供公共(public)数据流间或内部数据流分析。然而,这是一个基于 Roslyn RC2 的来源,它可能真的很旧。今天还是这样吗?
我正在尝试进行污点分析,即我应该能够在变量通过函数传递或分配给其他变量后对其进行跟踪。
任何帮助将不胜感激!谢谢!
最佳答案
从 1.2 开始,Roslyn 仅具有有限的内置数据流分析,以了解单个方法中一组跨度中使用的变量。这用于“提取方法”重构以查看需要移动哪些变量。否则,如果您想做更大的事情,您仍然只能靠自己。
关于c# - 控制流图,使用 Roslyn 进行内部/内部数据流分析,.NET 编译器平台,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37381699/