Glean源碼分析引擎

Glean 是一個(gè)用于收集、推導(dǎo)和查詢有關(guān)源代碼信息的系統(tǒng)。它旨在收集和存儲(chǔ)有關(guān)代碼結(jié)構(gòu)的詳細(xì)信息，并提供對(duì)數(shù)據(jù)的訪問(wèn)，以提供從在線 IDE 功能到離線代碼分析的強(qiáng)大工具和體驗(yàn)。你可以將其用于：

• 收集和存儲(chǔ)有關(guān)代碼結(jié)構(gòu)的詳細(xì)信息。Glean 是圍繞高效的存儲(chǔ)模型設(shè)計(jì)的，該模型可以大規(guī)模存儲(chǔ)有關(guān)代碼的信息。

• 查詢有關(guān)代碼的信息，為從在線 IDE 功能到離線代碼分析的工具和體驗(yàn)提供支持。

Glean 由以下組件組成：

• 一個(gè)建立在 RocksDB 上的高效存儲(chǔ)后端，用于存儲(chǔ)事實(shí)。事實(shí)是由用戶定義的模式描述的不可變的術(shù)語(yǔ)，并形成一個(gè)DAG。事實(shí)是由存儲(chǔ)后端自動(dòng)去重的。可以把它看作是能夠有效地存儲(chǔ)和查詢你的代碼的AST，并且具有完全的類型安全。

• 實(shí)現(xiàn)聲明式查詢語(yǔ)言 Angle 的查詢引擎。Angle 是一種與 Datalog 相似的邏輯語(yǔ)言，但具有擴(kuò)展功能，使其適用于構(gòu)建對(duì) Glean data?復(fù)雜查詢。就像在 Datalog 中一樣，Glean 可以通過(guò)使用 Angle定義規(guī)則來(lái)自動(dòng)推導(dǎo)出新的事實(shí)。

• 一個(gè)服務(wù)器管理的磁盤多個(gè)數(shù)據(jù)庫(kù)，并提供從客戶創(chuàng)造，寫和查詢數(shù)據(jù)庫(kù)的請(qǐng)求。該服務(wù)器目前使用 Thrift，但沒(méi)有理由將來(lái)服務(wù)器也不能公開其他協(xié)議。該服務(wù)器旨在大規(guī)模部署，為大量客戶端提供復(fù)制的數(shù)據(jù)庫(kù)。

• 一個(gè)交互式 shell，你可以在其中鍵入查詢并瀏覽數(shù)據(jù)。

• 用于直接或通過(guò)連接到服務(wù)器來(lái)創(chuàng)建、編寫和查詢數(shù)據(jù)庫(kù)的命令行工具。

• 常見編程語(yǔ)言的幾個(gè)示例模式，以及?其中一些的索引器。請(qǐng)注意，Glean 不會(huì)強(qiáng)制將所有數(shù)據(jù)放入一個(gè)單一模式中；每種語(yǔ)言的模式中可以有任意數(shù)量的特定于語(yǔ)言的細(xì)節(jié)?？梢酝ㄟ^(guò)使用 Angle 派生事實(shí)來(lái)構(gòu)建語(yǔ)言中立的抽象。

主要特點(diǎn)：

• 種類豐富：存儲(chǔ)代碼的詳細(xì)信息

• 緊湊型存儲(chǔ)：大規(guī)模存儲(chǔ)有關(guān)代碼的數(shù)據(jù)

• 高效查詢：從代碼中獲得深刻見解，構(gòu)建體驗(yàn)

目前支持：

• JavaScript/Flow
• Hack

計(jì)劃提供：

• Python
• C++
• Objective-C
• Java
• Rust

?