dotnet中的Taintflow分析

Question

我想用dotnet字节码做污点流分析。我希望在给定的dotnet字节码中找到所有受污染的源代码，然后找到受这些受污染的源代码影响的所有程序点。我想对dotnet字节码进行静态分析，但我不知道哪个工具会对我有帮助。我是dotnet的新手，也是linux用户。有人可以帮助我的工具，文档或与我的主题相关的特定网站。

Answer 1

现在有一个名为Roslyn Security Guard的项目。项目页面提到他们做了污点分析：

污点分析能够跟踪代码流中的变量，并跟踪来自用户输入的变量。

他们有一个接收器的configuration file (yaml)，如果污染的数据流入它们，接收器可能会变得危险。

但是你提到，你想要分析dotnet字节码。尽管Roslyn适用于C#或VB.net源代码，但如果您使用ILSpy或dotPeek并将反编译的程序集另存为项目(ILSpy：“将程序集另存为C#项目”)，则可以获得结果。