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'）a這是一個'需要解析器的示例應用程序'的例子。

（我沒有什麼要提供有關數據流分析。）

Answer 2

不幸的是，不是數據流分析F＃庫，但。但是，您可以通過查看以下post中的鏈接來實現某些內容（例如，檢測死亡或無法訪問的代碼的機制）。 SAT求解算法對測試布爾表達式很有用。