F＃编译器文档和F＃数据流分析库

Question

我有两个问题：

1. 我想知道是否有人知道F＃编译器文档或相关资源（编译器源代码本身除外，我目前正在查看） - 有关AST结构和附加功能的信息（如果有的话） ）解析和遍历树将会很有帮助。

2. 我还需要F＃库进行数据流分析，如果您有任何想法存在，请告诉我。

谢谢：）

Answer 1

这不是最好的资源，但如果您只想解析并获取AST，请参阅

http://lorgonblog.wordpress.com/2010/11/21/source-code-for-f-depth-colorizer-extension/

和

https://github.com/brianmcn/FSharpDepthColorizer/blob/master/ParseTreeDepth/MyFSParser/MyParsing.fs

（查找'ParseOneInputFile'）作为“需要解析器的示例应用程序”的示例。

（我对数据流分析没有任何建议。）

Answer 2

不幸的是，目前还没有用于数据流分析的f＃库。但是，您可以通过查看以下post中的链接来实现某些内容（例如，检测死代码或无法访问代码的机制）。 SAT求解算法对于测试布尔表达式很有用。