MagpieBridge

什麼是magpiebridge？

Magpiebridge是將靜態分析與語言服務器協議集成到IDE和編輯器中的框架。 Magpiebridge不限於LSP，它還利用HTTP允許在IDE內顯示網頁。這使用戶可以與用戶進行交互的新級別支持可視化和可自定義的UI。 Magpiebridge是程序分析和開發人員工具之間的橋樑。 Magpiebridge提供了語言服務器的可擴展實現 - MagpieServer運行分析；默認的textDocumentservice- MagpieTextDocumentService處理通用LSP請求；默認的WorksPaceService- MagpieWorkspaceService ，可以處理各種代碼操作以及許多其他有用的API用於靜態分析；可以解決項目範圍（源代碼路徑，庫代碼路徑，類路徑等）的可再生項目服務，可以通過整個程序分析消耗。在下面查找更多信息：

• 驕傲2022的教程（頁面上的幻燈片）。
• 在2020年肥皂上有關於Magpiebridge的演講，可以在這裡找到演講的幻燈片。
• Wiki頁面上的教程。
• 紙上的magpiebridge：將靜態分析集成到IDE和編輯中的一種一般方法（ECOOP 2019）。
• 還可以使用海報。

對於菸灰用戶，您可以在https://github.com/magpiebridge/irconverter下找到一個IrConverter，以將Wala IR轉換為煙灰IR，如果您想用Soot分析Java源代碼。

引用研究論文

有關科學用法，請引用論文[Bibtex]。

為什麼稱為Magpiebridge？

在一個中國傳說中，一個人和仙女墜入愛河，但是這種愛使眾神在銀河系的相對方面將它們分開。但是，在每年第七個月球的第七天，成千上萬的喜pies形成了一座橋樑，稱為pine中的中文和魁北克省，允許戀人見面。我們使用Magpiebridge作為將任意靜態分析與任意IDE連接的系統的隱喻。

在您的Maven項目中使用Magpiebridge

你也可以

1. 由於版本0.1.0，Magpiebridge可在Maven Central上找到。只需將以下行粘貼到pom.xml中。

 <dependency>
    <groupId>com.github.magpiebridge</groupId>
    <artifactId>magpiebridge</artifactId>
    <version>0.1.5</version>
</dependency>

Magpiebridge直到0.0.9的舊版本發表在GitHub包裝註冊表上。您可以通過將以下行添加到pom.xml （請參閱所有github軟件包），並按照以下說明來設置github訪問令牌。

 <dependencies>
  <dependency>
    <groupId>magpiebridge</groupId>
    <artifactId>magpiebridge</artifactId>
    <version>0.0.9</version>
  </dependency>
</dependencies>

<repositories>
  <repository>
    <id>github</id>
    <name>GitHub MagpieBridge Apache Maven Packages</name>
    <url>https://maven.pkg.github.com/MagpieBridge/MagpieBridge</url>
  </repository>
</repositories>

2. 或者自己建造magpiebridge
   • 使用git clone -b develop https://github.com/MagpieBridge/MagpieBridge.git查看開發分支
   • 在項目根目錄中運行mvn install以構建工具並運行所有測試。要跳過測試，請運行mvn install -DskipTests 。

教程

• 檢查教程以使用Magpiebridge創建您的第一個項目嗎？更新？

使用Magpiebridge進行集成的靜態分析

• Secucheck
• 基於Magpiebridge的Facebook推斷
• 基於Magpiebridge的Cognitrypt
• 基於Magpiebridge的Flowdroid

在IDE建立Magpiebridge

1. 只需將項目作為Maven項目在您的IDE中導入，Maven就應該照顧所有必需的依賴。對於日食：

 Eclipse> File> Import > Maven > Existing Maven Projects > Enter the path to your local repository > Finish

介入

• 歡迎拉動請求！
• 提交GitHub問題，以提高功能增強，錯誤或文檔問題
• 請使用mvn com.coveo:fmt-maven-plugin:format在git push

貢獻者

謝謝這些好人（表情符號鑰匙）：

Linghui Luo ？	朱利安·杜比（Julian Dolby） ？	克里斯蒂安·布魯格曼（ChristianBrüggemann）	喬納斯·曼努埃爾（Jonas Manuel）	馬庫斯·施密特（Markus Schmidt） 配x ？	JoãoPereira ？	Sven Erik Vinkemeier ？
Goran Piskachev ？	Ranjith K ？	Ejardak	Challe535	朱利安·T

該項目遵循全企業規範。歡迎任何形式的貢獻！

接觸

linghui [at] outlook.de